No CrossRef data available.
Published online by Cambridge University Press: 09 April 2009
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.