25

# Questions

9
32
3
1k
views

### Are there refuted analogues of the Riemann hypothesis?

apr 14 at 17:28 Frank Thorne 3,85312050

10
1
341
views

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

apr 16 at 15:37 Ryan Reich 4,01011125

4
1
67
views

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

apr 10 at 12:26 Emil Jeřábek 10.8k12742

5
1
117
views

### Interpretability and consistency strength

mar 30 at 14:33 Joel David Hamkins 76.8k8192355

4
1
131
views

### Notation for upperbound power sets.

feb 23 at 2:05 Ali Enayat 4,4591923

5
14
0
333
views

### Authorship of Grothendieck universes

dec 29 at 14:32 Colin McLarty 1,959214

1
11
0
215
views

### How to measure the strength of Zermelo over bounded Zermelo?

dec 28 at 18:50 Colin McLarty 1,959214

1
7
1
360
views

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

dec 19 at 20:26 François G. Dorais 23.2k252116

3
0
79
views

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

dec 8 at 16:36 Colin McLarty 1,959214

2