No CrossRef data available.
Article contents
Classical isol incomparability and ∞ · on manifold RET's
Part of:
Computability and recursion theory
Published online by Cambridge University Press: 09 April 2009
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
An infinite collection of indecomposable isols such that no isol is comparable to certain infinitary combinations of the others is constructed, extending a result of Dekker and Myhill. This collection is then used to investigate differences between the arithmetic of classical RET's and that of RET's on recursive manifolds, a difference relevant to the manifold equivalent of the Schröder-Bernstein Theorem.
MSC classification
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1986
References
[1]Dekker, J. C. E. and Myhill, John, Recursive equivalence types, (University of California Publications in Mathematics, New Series, Vol. 3, No. 3, 1960, pp. 67–214).Google Scholar
[2]Harkleroad, L., ‘Recursive equivalence types on recursive manifolds’, Notre Dame J. Formal Logic 20 (1979), 1–31.CrossRefGoogle Scholar
[3]Harkleroad, L., ‘Iterated images on manifolds’, Noire Dame J. Formal Logic, to appear.Google Scholar
You have
Access