Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
The study of the automorphism group of a structure \(M\) (whether viewed as an abstract group, a permutation group acting on \(M\), or even a topological group with sub-basic open sets of the form \(U^ b_ a= \{g\in \Aut(M): g(a)= b\})\) and the amount of information it conveys concerning \(M\) itself has been of considerable recent interest [see, e.g., Automorphisms of first-order structures, edited by \textit{D. Macpherson} and the second author (1994; Zbl 0797.00010)]. This study has been proved particularly fruitful when \(M\) is a countable recursively saturated model of PA. The paper under review focuses on models of the most distinguished completion of PA, namely true arithmetic (the truth- set of the standard model of PA). The main problem in this area is to distinguish the basic subgroups of \(\Aut(M)\) (those of the form \(U^ a_ a\)), viewed as a topological group, from the open ones by a purely topological-group-theoretic property. The authors give properties of this sort, which are satisfied by subclasses of the basic subgroups, namely strongly maximal and maximal ones. The problem of finding a property describing precisely the basic subgroups remains unsolved, but Kossak and Schmerl have recently solved this problem for the special case of arithmetically saturated models (models in which the types which are finitely satisfiable and arithmetical in some set in the standard system of the model are realized, or, equivalently, recursively saturated models in which the standard cut \(\mathbb{N}\) is strong).
- Automorphisms of recursively saturated models of arithmetic
- scientific article; zbMATH DE number 3792159 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 663796 (Why is no real title available?)
- Models and types of Peano's arithmetic
- On elementary cuts in recursively saturated models of Peano Arithmetic
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
- The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
- Infinitary definitions of equivalence relations in models of PA
- Automorphisms of countable recursively saturated models of PA: A survey
- Automorphism groups of saturated models of Peano arithmetic
- Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
- Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
- scientific article; zbMATH DE number 1406466 (Why is no real title available?)
- Simplicity of some automorphism groups.
- Automorphisms of models of arithmetic: a unified view
This page was built for publication: Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333303)
