Combinatorial Isols and the Arithmetic of Dekker Semirings

In his long and illuminating paper [1] Joe Barback defined and showed to be non‐vacuous a class of infinite regressive isols he has termed “complete y torre” (CT) isols. These particular isols a enjoy a property that Barback has since labelled combinatoriality. In [2], he provides a list of properties characterizing the combinatoria isols. In Section 2 of our paper, we extend this list of characterizations to include the fact that an infinite regressive isol X is combinatorial if and only if its associated Dekker semiring D (X) satisfies all those Π₂ sentences of the anguage L_N for isol theory that are true in the set ω of natural numbers. (Moreover, with X combinatorial, the interpretations in D(X)of the various function and relation symbols of L_N via the “lifting ” to D(X) of their Σ₁ definitions in ω coincide with their interpretations via isolic extension.) We also note in Section 2 that Π₂(L)‐correctness, for semirings D(X), cannot be improved to Π ₃(L)‐correctness, no matter how many additional properties we succeed in attaching to a combinatoria isol; there is a fixed (L) sentence that blocks such extension. (Here L is the usual basic first‐order language for arithmetic.) In Section 3, we provide a proof of the existence of combinatorial isols that does not involve verification of the extremely strong properties that characterize Barback's CT isols.