Question

Is there a sequence of extensions of ZFC where the corresponding sequence of proof theoretic ordinals has $\omega_1^{CK}$ as least upper-bound

score 235 · Answer 1 · 2026-03-25 04:43:32

235

Views

Is there a sequence of extensions of ZFC where the corresponding sequence of proof theoretic ordinals has $\omega_1^{CK}$ as least upper-bound

Published on 25 Mar 2026 - 4:43

score 166 · Answer 2 · 2020-08-07 03:57:41

166

Views

The equivalence of 1-consistency and Σ_1 soundness in Σ_1 complete theory

Published on 07 Aug 2020 - 3:57

score 223 · Answer 3 · 2020-08-07 04:38:14

223

Views

Spivak's Calculus Assumptions 2

Published on 07 Aug 2020 - 4:38

score 102 · Answer 4 · 2026-03-26 19:00:46

102

Views

Existence Introduction on Kleene's Introduction to Metamathematics

Published on 26 Mar 2026 - 19:00

score 112 · Answer 5 · 2026-03-29 16:00:46

112

Views

In the foundations of NSA with ultrapowers, how much can the axiom of choice be weakened?

Published on 29 Mar 2026 - 16:00

score 818 · Answer 6 · 2020-08-15 22:56:46

818

Views

The existence of the power set of an infinite set

Published on 15 Aug 2020 - 22:56

score 455 · Answer 7 · 2020-08-20 12:46:32

455

Views

Axiomatic definition of groups

Published on 20 Aug 2020 - 12:46

score 830 · Answer 8 · 2026-03-26 14:06:43

830

Views

Implementing sets in $\lambda$-calculus

Published on 26 Mar 2026 - 14:06

score 222 · Answer 9 · 2026-03-25 04:39:11

222

Views

Higher order arithmetic, hierarchies and proof theoretic ordinals

Published on 25 Mar 2026 - 4:39

score 155 · Answer 10 · 2020-08-27 17:02:47

155

Views

Problems with any non-Kolmogorovian (frequentistic, subjective etc.) approaches to probability

Published on 27 Aug 2020 - 17:02

score 287 · Answer 11 · 2020-08-29 11:07:26

287

Views

Rank of a set, could you give me an example?

Published on 29 Aug 2020 - 11:07

score 381 · Answer 12 · 2020-09-02 04:13:29

381

Views

Are all empty maps the same?

Published on 02 Sep 2020 - 4:13

score 98 · Answer 13 · 2020-09-07 04:17:03

98

Views

Euclid's Divison Lemma and Mathematical Logic

Published on 07 Sep 2020 - 4:17

score 59 · Answer 14 · 2020-09-10 21:50:08

59

Views

What is a number class?

Published on 10 Sep 2020 - 21:50

score 294 · Answer 15 · 2020-09-13 17:19:56

294

Views

Foundations without axiom schema of replacement

Published on 13 Sep 2020 - 17:19

List Question

Is there a sequence of extensions of ZFC where the corresponding sequence of proof theoretic ordinals has $\omega_1^{CK}$ as least upper-bound

The equivalence of 1-consistency and Σ_1 soundness in Σ_1 complete theory

Spivak's Calculus Assumptions 2

Existence Introduction on Kleene's Introduction to Metamathematics

In the foundations of NSA with ultrapowers, how much can the axiom of choice be weakened?

The existence of the power set of an infinite set

Axiomatic definition of groups

Implementing sets in $\lambda$-calculus

Higher order arithmetic, hierarchies and proof theoretic ordinals

Problems with any non-Kolmogorovian (frequentistic, subjective etc.) approaches to probability

Rank of a set, could you give me an example?

Are all empty maps the same?

Euclid's Divison Lemma and Mathematical Logic

What is a number class?

Foundations without axiom schema of replacement

Trending Questions

Popular # Hahtags

Popular Questions