Automorphisms of recursively saturated models of arithmetic (Q1182432): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Richard W. Kaye / rank | |||
Property / reviewed by | |||
Property / reviewed by: Martin Weese / rank | |||
Revision as of 09:15, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphisms of recursively saturated models of arithmetic |
scientific article |
Statements
Automorphisms of recursively saturated models of arithmetic (English)
0 references
28 June 1992
0 references
The authors investigate the automorphism group of countable recursively saturated models of PA. For \(M\) a model of PA, \(Aut(M)\) is considered as a topological group where the topology is generated by the basic open subgroups \(G_{(a)} = \{ g\in Aut(M): g(a) = a\}\). They show that for any consistent complementation \(T\) of PA there are countable \(M_ 1,\;M_ 2\) of \(T\) with \(Aut(M_ 1)\not\cong Aut(M_ 2)\) as topological groups. The authors completely characterize the initial segments \(I\subset_ e M\) which are of the form \(I = \{ x\in M: g(x)=x\}\). All known facts about normal subgroups of \(Aut(M)\) are surveyed. It is shown that for \(M\models Th(\mathbb{N})\), \(H\) is a normal subgroup of \(M\) iff \(H=G_ A=\{ g\in Aut(M): g(a)=a\text{ for all }a\in A\}\) for some \(A\subseteq M\}\).
0 references
automorphism group
0 references
countable recursively saturated models of PA
0 references
initial segments
0 references