Automorphisms of Models of True Arithmet
✍
Henryk Kotlarski; Bożena Piekart
📂
Article
📅
1994
🏛
John Wiley and Sons
🌐
English
⚖ 420 KB
## Abstract We show that if __M__ is a countable recursively saturated model of True Arithmetic, then __G__ = Aut(__M__) has nonmaximal open subgroups with unique extension to a maximal subgroup of Aut(__M__). Mathematics Subject Classification: 03C62, 03C50.