Jason Rute

1,191

Reputation

738 views

Registered User

Name	Jason Rute
Member for	2 years
Seen	8 hours ago
Website	math.cmu.edu/~jrute
Location	Pittsburgh, PA
Age	31

I'm a graduate student in logic at Carnegie Mellon. My main interests are Proof Theory and Computability Theory. More specifically, I am interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.

stats recent reputation favorites

11

Questions

votes newest views recent

8

12

votes

1

answer

429

views

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

lo.logic nonstandard-analysis computable-analysis

apr 29 at 7:32 Sam Sanders 136●1●4

1

9

votes

0

answers

94

views

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

pr.probability lo.logic computability-theory martingales

may 12 at 9:55 Jason Rute 1,191●2●11

6

5

votes

1

answer

522

views

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

ds.dynamical-systems pr.probability ergodic-theory martingales

apr 11 12 at 6:02 Thierry de la Rue 161●2

5

votes

2

answers

670

views

What proofs cannot be relativized

lo.logic computability-theory

feb 19 11 at 9:18 Andrew Marks 306●3

2

4

votes

2

answers

275

views

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

pr.probability fa.functional-analysis measure-theory metric-spaces

nov 3 11 at 13:33 Bill Johnson 14.4k●1●33●60

4

votes

1

answer

164

views

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

pr.probability reference-request martingales

mar 16 12 at 0:11 Byron Schmuland 1,905●8●18

4

votes

2

answers

205

views

Sz.-Nagy dilation for uniformly convex Banach spaces

fa.functional-analysis ds.dynamical-systems

may 6 at 12:05 Cédric Arhancet 86●2

1

3

votes

1

answer

386

views

Is this ergodic inequality true?

ds.dynamical-systems ergodic-theory martingales inequalities

may 3 11 at 8:22 Helge 2,266●7●13

1

vote

0

answers

83

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 at 20:23 Jason Rute 1,191●2●11

1

vote

1

answer

97

views

Extension of power bounded operators over a finite subspace

fa.functional-analysis ds.dynamical-systems

may 3 at 3:22 Robert Israel 10.8k●8●22

19

Answers

votes newest views recent

Can a group be a universal Turing machine?

How to be updated with current advances in mathematics

Proofs of Gödel’s theorem

reverse mathematics strength of “Lipschitz functions are somewhere differentiable”

Applications of nonconstructive mathematics

Fast turn-around times

Quantum field theory in Solovay-land

why Skolemization?

Positive & Negative Arity

Infinite mathematics as non-standard finite mathematics?

A function that is defined everywhere but has unknown values (3)

Martingale-cotype vs cotype on super-reflexive spaces

Understanding the nature and structure of proofs; Reverse Mathematics and Proof Theory. Prerequisites? Good introductory texts?

Lower-semicomputable supermartingales with bounded increments

measurability of integrated functions

Webpages for specialized communities

additive functions on a lattice

A Model where Dedekind Reals and Cauchy Reals are Different

Computing the measure of the projection on the torus of a semialgebraic set

49

Votes

47

2

36

Tags

13

Badges

● Citizen Patrol
● Nice Question
● Yearling× 2

● Critic
● Nice Answer
● Commentator

● Scholar
● Supporter
● Student

● Editor
● Autobiographer
● Teacher