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.