User Jason Rute

92 votes

11 answers

15k views

What are possible applications of deep learning to research mathematics?

asked Apr 14, 2021 at 12:54

38 votes

1 answer

3k views

Is the area of the Mandelbrot provably computable?

asked Sep 11, 2016 at 16:46

23 votes

2 answers

2k views

Prospects for reverse mathematics in Homotopy Type Theory

asked Jul 9, 2013 at 22:12

19 votes

4 answers

3k views

What is neutral constructive mathematics

asked Sep 18, 2021 at 20:12

18 votes

2 answers

2k views

What proofs cannot be relativized

asked Feb 19, 2011 at 0:29

17 votes

0 answers

674 views

The topos for forcing in computability theory

asked Feb 6, 2015 at 3:55

15 votes

3 answers

2k views

Are all functions in Bishop's constructive mathematics continuous?

asked Apr 29, 2014 at 1:41

15 votes

1 answer

1k views

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

asked Dec 13, 2014 at 2:24

15 votes

2 answers

3k views

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

asked Jul 12, 2013 at 20:28

13 votes

1 answer

3k views

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

asked Aug 4, 2013 at 23:40

13 votes

1 answer

992 views

Are the “topologies” arising from constructive type theories with quotients actually condensed sets?

asked Aug 22, 2021 at 2:35

12 votes

1 answer

1k views

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

asked Apr 26, 2013 at 2:36

11 votes

2 answers

2k views

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

asked Apr 10, 2012 at 18:54

11 votes

0 answers

223 views

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

asked May 12, 2013 at 3:30

9 votes

2 answers

747 views

Is this ergodic inequality true?

asked May 3, 2011 at 1:35

9 votes

2 answers

548 views

What mode of convergence is this?

asked Jan 5, 2017 at 22:01

8 votes

1 answer

540 views

Are representations in computable analysis the equivalent to countably-generated condensed sets?

asked Aug 22, 2021 at 2:29

8 votes

0 answers

385 views

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

asked Sep 27, 2015 at 1:35

8 votes

7 answers

651 views

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

asked Jul 11, 2013 at 8:09

7 votes

1 answer

394 views

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

asked Mar 14, 2012 at 18:06

7 votes

2 answers

323 views

Is there a notion of Skolemization for continuous logic?

asked Oct 6, 2013 at 14:10

5 votes

2 answers

642 views

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

asked Nov 2, 2011 at 21:58

5 votes

2 answers

435 views

Sz.-Nagy dilation for uniformly convex Banach spaces

asked May 4, 2013 at 5:19

4 votes

2 answers

510 views

Martingale-cotype vs cotype on super-reflexive spaces

asked May 5, 2013 at 6:38

4 votes

0 answers

309 views

Conditional expectation with respect to random closed sets

asked Mar 13, 2014 at 20:09

4 votes

0 answers

265 views

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

asked Jan 6, 2016 at 23:28

4 votes

1 answer

219 views

Is the following product-like space a Polish space?

asked Feb 29, 2016 at 19:23

4 votes

1 answer

297 views

Analogy of $\omega$-models in constructive mathematics

asked Sep 19, 2015 at 21:31

3 votes

1 answer

274 views

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

asked May 21, 2016 at 14:55

2 votes

1 answer

965 views

Is every path connected space continuously path connected

asked Apr 19, 2016 at 16:59

Stack Exchange Network

34 Questions

What are possible applications of deep learning to research mathematics?

Is the area of the Mandelbrot provably computable?

Prospects for reverse mathematics in Homotopy Type Theory

What is neutral constructive mathematics

What proofs cannot be relativized

The topos for forcing in computability theory

Are all functions in Bishop's constructive mathematics continuous?

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

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

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

Are the “topologies” arising from constructive type theories with quotients actually condensed sets?

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

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

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

Is this ergodic inequality true?

What mode of convergence is this?

Are representations in computable analysis the equivalent to countably-generated condensed sets?

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

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

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

Is there a notion of Skolemization for continuous logic?

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

Sz.-Nagy dilation for uniformly convex Banach spaces

Martingale-cotype vs cotype on super-reflexive spaces

Conditional expectation with respect to random closed sets

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

Is the following product-like space a Polish space?

Analogy of $\omega$-models in constructive mathematics

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

Is every path connected space continuously path connected