Wikipedia model theory and formal languages item 24: What is the nature of the proof-theoretic ordinal (the smallest ordinal a theory cannot prove w…
What is the nature of the proof-theoretic ordinal (the smallest ordinal a theory cannot prove well-founded) for second-order arithmetic, ZFC, or stronger theories?
References
Primary source
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.