Article contents
Constructive order types, II
Published online by Cambridge University Press: 12 March 2014
Extract
In this paper we continue the investigations begun in [2] of equivalence classes of (denumerable) well-orderings under one-one partial recursive, order-preserving maps (recursive isotonisms). The numbering and notation are continued from [2] except that we now use lower case Greek letters for classical ordinals and upper case Roman letters for sets and we slightly modify the definition of (see §IX.3).
In section IX, after proving some lemmata which we use repeatedly in this paper, we establish the existence of Cantor Normal Forms for all co-ordinals less than a co-ordinal of the form WA (a fortiori for all co-ordinals less than a principal number for exponentiation).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1997
References
- 3
- Cited by