Vol. 26, No. 3, 1968

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
Full co-ordinals of RETs

Alfred Berry Manaster

Vol. 26 (1968), No. 3, 547–553

Recursive analogues of cardinal and ordinal numbers have been developed by considering only subsets of the natural numbers and considering only one-to-one partial recursive functions as the maps or correspondences between sets. The recursive analogue of a cardinal is called a recursive equivalence type (RET) and that of an ordinal is called a co-ordinal. Using the RETs and the co-ordinals analogues of Cantor’s number classes are defined and considered in this paper. The degree of indecomposability of an RET is seen to determine the set of classical ordinals represented in the RET’s co-ordinal number class. If the RET is infinite this set of ordinals is always an initial segment (not necessarily proper) of Cantor’s second number class.

Mathematical Subject Classification
Primary: 02.70
Received: 23 May 1967
Published: 1 September 1968
Alfred Berry Manaster