Automorphisms of Models of True Arithmet
Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely
β
Henryk Kotlarski; BoΕΌena Piekart
π
Article
π
2000
π
John Wiley and Sons
π
English
β 239 KB
Continuing the earlier research in [14] we give some more information about nonmaximal open subgroups of G = Aut(M) with unique maximal extension, where M is a countable recursively saturated model of True Arithmetic.