Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • MathOverflow
      help chat
    • MathOverflow Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
MathOverflow
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Meta user
Network profile
Jason Rute

Reputation

4,854
  • 4.9k
  • 4.5k
  • 4.2k
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

computability-theory

Next privilege

5,000 Rep.
Approve tag wiki edits

Badges

1
16
43

Newest

 Self-Learner

Next badge

0/1
Excavator

Impact

~137k
people reached
3 posts edited
2 helpful flags
228 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

30 Questions

Votes Activity Newest Views
7
31
votes
1
answer
1k
views

Is the area of the Mandelbrot provably computable?

lo.logic ds.dynamical-systems computability-theory fractals complex-dynamics
Oct 4 '16 at 14:03 Community♦ 1
8
21
votes
2
answers
2k
views

Prospects for reverse mathematics in Homotopy Type Theory

lo.logic reverse-math type-theory homotopy-type-theory
Sep 3 '13 at 12:34 Community♦ 1
5
17
votes
2
answers
2k
views

What proofs cannot be relativized

lo.logic computability-theory
Feb 19 '11 at 9:18 Andrew Marks 791
2
15
votes
2
answers
2k
views

Generalizations of the Tietze extension theorem (and Lusin's theorem)

fa.functional-analysis gn.general-topology descriptive-set-theory
Mar 14 '16 at 1:46 Community♦ 1
1
14
votes
1
answer
805
views

Is there a known primitive recursive upper bound on the nth “Zhang prime”

nt.number-theory prime-numbers computational-complexity computability-theory
Dec 13 '14 at 3:36 Community♦ 1
4
13
votes
0
answers
542
views

The topos for forcing in computability theory

ag.algebraic-geometry ct.category-theory lo.logic computability-theory topos-theory
Feb 6 '15 at 4:06 Jason Rute 4,854
3
13
votes
0
answers
2k
views

Does this metric have an official name? Lévy metric? Ky Fan metric?

reference-request pr.probability fa.functional-analysis measure-theory metric-spaces
Aug 11 '13 at 14:26 Jason Rute 4,854
10
12
votes
1
answer
944
views

Can nonstandard analysis be used to prove results in constructive or computable analysis?

lo.logic nonstandard-analysis computable-analysis
Apr 29 '13 at 7:32 Community♦ 1
1
11
votes
3
answers
1k
views

Are all functions in Bishop's constructive mathematics continuous?

lo.logic constructive-mathematics
Dec 17 '16 at 13:13 Community♦ 1
1
11
votes
0
answers
192
views

Savings property: A transformation which turns nonnegative martingales into uniformly integrable ones

pr.probability lo.logic computability-theory martingales
May 12 '13 at 9:55 Jason Rute 4,854
8
10
votes
2
answers
1k
views

De Finetti's theorem, the pointwise ergodic theorem, and reverse martingales

ds.dynamical-systems pr.probability ergodic-theory martingales
Jul 14 '13 at 14:20 Community♦ 1
2
9
votes
2
answers
695
views

Is this ergodic inequality true?

ds.dynamical-systems ergodic-theory martingales inequalities
Nov 10 '15 at 9:17 Ori Gurel-Gurevich 6,471
 
8
votes
2
answers
381
views

What mode of convergence is this?

reference-request pr.probability fa.functional-analysis measure-theory
Jan 15 '17 at 4:53 Community♦ 1
 
8
votes
0
answers
339
views

What is the name for a Banach space property closed under ultraproducts?

fa.functional-analysis lo.logic banach-spaces terminology ultrafilters
Sep 28 '15 at 13:39 Jason Rute 4,854
1
7
votes
7
answers
523
views

Strength of Bishop style constructive mathematics vs $\mathsf{RCA}_0$

lo.logic proof-theory reverse-math constructive-mathematics
Jan 21 '16 at 21:23 Community♦ 1
 
7
votes
1
answer
179
views

Is there a notion of Skolemization for continuous logic?

lo.logic
Oct 16 '13 at 3:24 Kaveh 4,726
1
7
votes
1
answer
259
views

Reference request: Martingale decompositions (positive/negative and u.i./singular)

pr.probability reference-request martingales
Mar 16 '12 at 0:11 Community♦ 1
4
5
votes
2
answers
538
views

Is the Hausdorff metric on sub-$\sigma$-fields separable?

pr.probability fa.functional-analysis measure-theory metric-spaces
Jan 16 '20 at 13:27 Dave L Renfro 2,207
 
5
votes
2
answers
391
views

Sz.-Nagy dilation for uniformly convex Banach spaces

fa.functional-analysis ds.dynamical-systems
May 6 '13 at 12:05 user33709 96
1
4
votes
1
answer
175
views

Is the following product-like space a Polish space?

gn.general-topology descriptive-set-theory metric-spaces computable-analysis
Mar 3 '16 at 0:41 Community♦ 1
1
4
votes
0
answers
219
views

When can a locally compact group be approximated by discrete subgroups?

gr.group-theory lie-groups topological-groups
Jan 6 '16 at 23:51 John B 415
 
4
votes
1
answer
195
views

Analogy of $\omega$-models in constructive mathematics

lo.logic computability-theory constructive-mathematics
Sep 19 '15 at 22:41 Andrej Bauer 40k
 
4
votes
0
answers
292
views

Conditional expectation with respect to random closed sets

pr.probability fa.functional-analysis measure-theory
Mar 13 '14 at 23:44 Jason Rute 4,854
 
3
votes
2
answers
387
views

Martingale-cotype vs cotype on super-reflexive spaces

fa.functional-analysis banach-spaces
Sep 27 '15 at 19:15 Community♦ 1
1
2
votes
1
answer
668
views

Is every path connected space continuously path connected

gn.general-topology homotopy-theory descriptive-set-theory path-connected
Sep 18 '16 at 16:24 Arno 2,700
 
2
votes
1
answer
222
views

What is the extension of the truth-table degrees to Baire Space called?

reference-request lo.logic computability-theory terminology
May 23 '16 at 22:26 Andrej Bauer 40k
1
2
votes
0
answers
164
views

Classify spaces that make extension theorems hold

fa.functional-analysis gn.general-topology descriptive-set-theory
Dec 13 '14 at 17:06 Community♦ 1
 
1
vote
0
answers
44
views

Taking the potential of a super additive measure

ca.classical-analysis-and-odes potential-theory
Dec 7 '14 at 16:50 Jason Rute 4,854
 
1
vote
1
answer
151
views

Extension of power bounded operators over a finite subspace

fa.functional-analysis ds.dynamical-systems
May 3 '13 at 3:22 Robert Israel 49.3k
1
1
vote
0
answers
840
views

What conditions on a filtration guarantee that a (sub)martingale has a continuous modification?

pr.probability stochastic-processes stochastic-calculus reference-request martingales
Mar 22 '13 at 20:23 Community♦ 1
MathOverflow
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.1.15.38327