Infinitary definitions of equivalence relations in models of PA (Q1377633): 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: Roman Kossak / rank | |||
Revision as of 01:00, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinitary definitions of equivalence relations in models of PA |
scientific article |
Statements
Infinitary definitions of equivalence relations in models of PA (English)
0 references
29 May 1998
0 references
In ``A Galois correspondence for countable recursively saturated models of Peano Arithmetic'' [in: R. Kaye and H. D. Macpherson (eds.), Automorphisms of first-order structures, 293-312 (1994; Zbl 0824.03015)], \textit{R. Kaye} proves a general theorem characterizing closed normal subgroups of the automorphism group of a recursively saturated model of PA in terms of pointwise stabilizers of initial segments of the model. A corollary of this result is that, if \(\equiv\) is an \(\Aut(M)\)-invariant equivalence relation on a countable recursively saturated model \(M\) of PA, then there is an \(\Aut(M)\)-invariant initial segment \(I\) of \(M\) such that the group of automorphisms \(g\) of \(M\), for which \(g(a)\equiv a\), for all \(a\in M\), is the pointwise stabilizer of \(I\). In the paper under review, Kaye gives more information about the relationship between \(\equiv\) and \(I\). He also discusses other consequences of his theorem on closed normal subgroups and states some open problems.
0 references
nonstandard models of arithmetic
0 references
recursive saturation
0 references
automorphism groups
0 references