Hereditarily odd-even and combinatorial isols. (Q1858308)

In this paper the author defines the notion of combinatorial isol. Every completely torre isol is regressive and combinatorial, and every regressive combinatorial isol is hyper-torre. The paper then characterizes the combinatoriality of a regressive isol \(X\) in terms of its associated Dekker semiring \(D(X)\). Namely, \(X\) is combinatorial iff \(D(X)\) is linearly ordered (under the usual ordering of isols) iff the division algorithm holds in \(D(X)\) iff for every recursive function~\(f\) (of any number of arguments), \(D(X)\) is closed under the isol extension of~\(f\).