O struktuře modelů omezené -indukce
Let be the set of positive integers and let . We denote by the arithmetic function given by , where is the number of positive divisors of . Moreover, for every we denote by the sequence We present classical and nonclassical notes on the sequence , where , , are understood as parameters.
We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.