User Jason Rute

18 votes

4 answers

3k views

What is neutral constructive mathematics

asked Sep 18, 2021 at 20:12

13 votes

1 answer

890 views

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

asked Aug 22, 2021 at 2:35

8 votes

1 answer

513 views

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

asked Aug 22, 2021 at 2:29

91 votes

11 answers

14k views

What are possible applications of deep learning to research mathematics?

asked Apr 14, 2021 at 12:54

9 votes

2 answers

510 views

What mode of convergence is this?

asked Jan 5, 2017 at 22:01

38 votes

1 answer

3k views

Is the area of the Mandelbrot provably computable?

asked Sep 11, 2016 at 16:46

3 votes

1 answer

264 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

934 views

Is every path connected space continuously path connected

asked Apr 19, 2016 at 16:59

4 votes

1 answer

213 views

Is the following product-like space a Polish space?

asked Feb 29, 2016 at 19:23

4 votes

0 answers

247 views

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

asked Jan 6, 2016 at 23:28

8 votes

0 answers

381 views

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

asked Sep 27, 2015 at 1:35

4 votes

1 answer

272 views

Analogy of $\omega$-models in constructive mathematics

asked Sep 19, 2015 at 21:31

16 votes

0 answers

644 views

The topos for forcing in computability theory

asked Feb 6, 2015 at 3:55

2 votes

0 answers

169 views

Classify spaces that make extension theorems hold

asked Dec 13, 2014 at 3:54

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

1 vote

0 answers

49 views

Taking the potential of a super additive measure

asked Dec 7, 2014 at 16:50

15 votes

3 answers

2k views

Are all functions in Bishop's constructive mathematics continuous?

asked Apr 29, 2014 at 1:41

4 votes

0 answers

307 views

Conditional expectation with respect to random closed sets

asked Mar 13, 2014 at 20:09

8 votes

2 answers

312 views

Is there a notion of Skolemization for continuous logic?

asked Oct 6, 2013 at 14:10

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

15 votes

2 answers

3k views

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

asked Jul 12, 2013 at 20:28

7 votes

7 answers

630 views

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

asked Jul 11, 2013 at 8:09

23 votes

2 answers

2k views

Prospects for reverse mathematics in Homotopy Type Theory

asked Jul 9, 2013 at 22:12

11 votes

0 answers

219 views

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

asked May 12, 2013 at 3:30

4 votes

2 answers

496 views

Martingale-cotype vs cotype on super-reflexive spaces

asked May 5, 2013 at 6:38

5 votes

2 answers

427 views

Sz.-Nagy dilation for uniformly convex Banach spaces

asked May 4, 2013 at 5:19

1 vote

1 answer

169 views

Extension of power bounded operators over a finite subspace

asked May 2, 2013 at 4:54

13 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

1 vote

0 answers

1k views

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

asked Mar 22, 2013 at 20:23

11 votes

2 answers

2k views

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

asked Apr 10, 2012 at 18:54

Stack Exchange Network

34 Questions

What is neutral constructive mathematics

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

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

What are possible applications of deep learning to research mathematics?

What mode of convergence is this?

Is the area of the Mandelbrot provably computable?

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

Is every path connected space continuously path connected

Is the following product-like space a Polish space?

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

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

Analogy of $\omega$-models in constructive mathematics

The topos for forcing in computability theory

Classify spaces that make extension theorems hold

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

Taking the potential of a super additive measure

Are all functions in Bishop's constructive mathematics continuous?

Conditional expectation with respect to random closed sets

Is there a notion of Skolemization for continuous logic?

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

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

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

Prospects for reverse mathematics in Homotopy Type Theory

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

Martingale-cotype vs cotype on super-reflexive spaces

Sz.-Nagy dilation for uniformly convex Banach spaces

Extension of power bounded operators over a finite subspace

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

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

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