Abstract
AbstractIn [2] T. J. Carlson introduces an approach to ordinal notation systems which is based on the notion of Σ1-elementary substructure. We gave a detailed ordinal arithmetical analysis (see [7]) of the ordinal structure based on Σ1-elementarily as defined in [2]. This involved the development of an appropriate ordinal arithmetic that is based on a system of classical ordinal notations derived from Skolem hull operators, see [6]. In the present paper we establish an effective order isomorphism between the classical and the new system of ordinal notations using the results from [6] and [7]. Moreover, on the basis of a concept of relativization we develop mutual (relatively) elementary recursive assignments which are uniform with respect to the underlying relativization.
Sign-in/Register to access full text options 
Free) 
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 call
