Isol

The recursive equivalence type of an isolated (that is, finite or immune, cf. Immune set) set of natural numbers. The set of all isols has the cardinality of the continuum and is a semi-ring under the operations of addition and multiplication defined for arbitrary recursive equivalence types. This semi-ring is called the arithmetic of isols. It has a number of properties of the arithmetic of natural numbers; in particular, all universal Horn formulas whose elementary subformulas represent equality of so-called combinatorial functions are true in it. An example of such a formula is the cancellation law: $X+Z=Y+Z\Rightarrow X=Y$. Isols can be regarded as recursive analogues of the cardinalities of Dedekind-finite sets, that is, sets not equivalent to any of their proper subsets.

Comments

A subset of the natural numbers $\mathbf N$ is an isolated set if it contains no infinite recursively-enumerable subset of $\mathbf N$.

References

[a1]	Th.G. McLaughlin, "Regressive sets and the theory of isols" , M. Dekker (1982)