The automorphism subgroup fixing a strong cut in countable recursively saturated PA models has the small index property, uncountable cofinality, and meagre nontrivial normal subgroups.
Shochat,A Galois correspondence for countable short recursively saturated models ofPA,Mathematical Logic Quarterly.56 (2010), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
The automorphism subgroup fixing a strong cut in countable recursively saturated PA models has the small index property, uncountable cofinality, and meagre nontrivial normal subgroups.