Strongly maximal subgroups determined by elements in interstices

摘要

Continuing the earlier research in [1] and [4] we work out a class of interstices, in countable arithmetically saturated models of PA in which selective types are realized and a class of interstices in which 2-indiscernible types are realized (and hence, there exist elements whose stabilizers are strongly maximal)