25

Questions
votes newest views recent
9
32
votes
3
answers
1k
views

Are there refuted analogues of the Riemann hypothesis?

apr 14 at 17:28 Frank Thorne 3,853●1●20●50

 
10
votes
1
answer
341
views

Does any lower bound on proofs of FLT improve Shepherdson 1965?

apr 16 at 15:37 Ryan Reich 4,010●1●11●25

 
4
votes
1
answer
67
views

What metatheory proves $\mathsf{ACA}_0$ conservative over PA?

apr 10 at 12:26 Emil Jeřábek 10.8k●1●27●42

 
5
votes
1
answer
117
views

Interpretability and consistency strength

mar 30 at 14:33 Joel David Hamkins 76.8k●8●192●355

 
4
votes
1
answer
131
views

Notation for upperbound power sets.

feb 23 at 2:05 Ali Enayat 4,459●1●9●23

5
14
votes
0
answers
333
views

Authorship of Grothendieck universes

dec 29 at 14:32 Colin McLarty 1,959●2●14

1
11
votes
0
answers
215
views

How to measure the strength of Zermelo over bounded Zermelo?

dec 28 at 18:50 Colin McLarty 1,959●2●14

1
7
votes
1
answer
360
views

What is the status of Cantor-Schroder-Bernstein in Reverse Math?

dec 19 at 20:26 François G. Dorais♦ 23.2k●2●52●116

 
3
votes
0
answers
79
views

Why the choice of pairing function in Subsystems of Second Order Arithmetic?

dec 8 at 16:36 Colin McLarty 1,959●2●14

 
2
votes
1
answer
120
views

Does $\Pi^1_{\infty}$ comprehension imply ATR$_0$?

dec 4 at 3:43 François G. Dorais♦ 23.2k●2●52●116

1 2 3 next