List questions from ordinal-analysis | MathQA

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 04 Aug 2020 - 16:08

Higher order arithmetic, hierarchies and proof theoretic ordinals

Published on 22 Aug 2020 - 22:52

Why do we need ordinal representation systems?

Published on 24 Sep 2021 - 10:54

What is the relevance of the fast-growing hierarchy in the definition of Yudkowsky’s number?

Published on 12 Dec 2021 - 20:04

Iterated $\Pi^1_1$-reflection and non-Gandiness underrepresented in ordinal analyses?

Published on 04 Mar 2022 - 16:53

Link between a theory’s proof-theoretic ordinal and the fastest-growing function it can prove total

Published on 13 Mar 2022 - 16:36

Does "predicativitness" of class comprehension in $\sf MK$ affects the value of the class of all ordinals?

Published on 08 Jul 2022 - 6:15

What is the proof-theoretic ordinal of true arithmetic?

Published on 16 Dec 2022 - 7:09