Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely |
| |
Authors: | Henryk Kotlarski Boena Piekart |
| |
Institution: | Henryk Kotlarski,Bo?ena Piekart |
| |
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. |
| |
Keywords: | Recursively saturated model Automorphisms of models of True Arithmetic |
|