25

Questions
votes newest views recent
 
10
votes
1
answer
338
views

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

apr 16 at 15:37 Ryan Reich 3,881●1●9●25

9
32
votes
3
answers
1k
views

Are there refuted analogues of the Riemann hypothesis?

apr 14 at 17:28 Frank Thorne 3,833●1●19●50

 
4
votes
1
answer
60
views

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

apr 10 at 12:26 Emil Jeřábek 10.6k●1●24●41

 
5
votes
1
answer
112
views

Interpretability and consistency strength

mar 30 at 14:33 Joel David Hamkins 74.7k●7●187●343

 
4
votes
1
answer
125
views

Notation for upperbound power sets.

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

1
8
votes
5
answers
654
views

How many well orderings of $\aleph_0$ are there?

jan 20 at 7:06 Freddy Bustos 1

5
14
votes
0
answers
324
views

Authorship of Grothendieck universes

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

1
11
votes
0
answers
212
views

How to measure the strength of Zermelo over bounded Zermelo?

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

1
7
votes
1
answer
357
views

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

dec 19 at 20:26 François G. Dorais♦ 22.3k●2●48●113

 
3
votes
0
answers
77
views

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

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

1 2 3 next