Abstract
In this paper a special type of co-ordinal, called rich, is studied. Basic properties of rich co-ordinals are proved in §1. In §2 rich co-ordinals are seen to be the co-ordinals occurring in paths which are addition isomorphic to initial segments of the classical ordinals. The results of §1 are applied to obtain information about and examples of such paths. In the next section the order types of rich co-ordinals with a given field, X, is seen to be determined essentially by the finite divisors of X. RETs satisfying various divisibility conditions are constructed in §4.
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Recursive equivalence types;Dekker;University of California Publications in Mathematics (New Series),1960
2. Additive relations among recursive equivalence types
3. Constructive Order Types, I
4. Manaster A. B. , Full co-ordinals of RETs, Pacific Journal of Mathematics (to appear).
5. Constructive order types. II;Crossley;this Journal,1966