Abstract
The exact correspondence between ordinal notations derived from Skolem hull operators, which are classical in ordinal analysis, and descriptions of ordinals in terms of Σ 1 -elementarity, an approach developed by T.J. Carlson, is analyzed in full detail. The ordinal arithmetical tools needed for this purpose were developed in [G. Wilken, Ordinal arithmetic based on Skolem hulling, Annals of Pure and Applied Logic 145 (2) (2007) 130–161]. We show that the least ordinal κ such that κ < 1 ∞ (as defined in [T.J. Carlson, Elementary patterns of resemblance, Annals of Pure and Applied Logic 108 (2001) 19–77] and described below) is the proof theoretic ordinal of the set-theoretic system KP ℓ 0 , confirming a claim of Carlson. Moreover, we characterize the class of all ordinals κ such that κ < 1 ∞ and provide an ordinal arithmetical analysis of Carlson’s entire structure R 1 in the style of [T.J. Carlson, Ordinal arithmetic and Σ 1 -elementarity, Archive for Mathematical Logic 38 (1999) 449–460].
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: 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.
