Abstract
Ordinal analysis is a research program wherein recursive ordinals are assigned to axiomatic theories. According to conventional wisdom, ordinal analysis measures the strength of theories. Yet what is the attendant notion of strength? In this paper we present abstract characterizations of ordinal analysis that address this question.First, we characterize ordinal analysis as a partition of Σ11-definable and Π11-sound theories, namely, the partition whereby two theories are equivalent if they have the same proof-theoretic ordinal. We show that no equivalence relation ≡ is finer than the ordinal analysis partition if both: (1) T≡U whenever T and U prove the same Π11 sentences; (2) T≡T+U for every set U of true Σ11 sentences. In fact, no such equivalence relation makes a single distinction that the ordinal analysis partition does not make.Second, we characterize ordinal analysis as an ordering on arithmetically-definable and Π11-sound theories, namely, the ordering wherein T⩽U if the proof-theoretic ordinal of T is less than or equal to the proof-theoretic ordinal of U. The standard ways of measuring the strength of theories are consistency strength and inclusion of Π10 theorems. We introduce analogues of these notions—Π11-reflection strength and inclusion of Π11 theorems—in the presence of an oracle for Σ11 truths, and prove that they coincide with the ordering induced by ordinal analysis.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.