Automorphisms of countable recursively saturated models of PA: A survey (Q1913626): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphisms of countable recursively saturated models of PA: A survey |
scientific article |
Statements
Automorphisms of countable recursively saturated models of PA: A survey (English)
0 references
22 May 1996
0 references
This is an extensive survey of results concerning the automorphisms and automorphism groups of countable recursively saturated models of Peano Arithmetic. The author gives the historical background, and then concentrates on the recent work of Bamber, Kaye, Kossak, Lascar, Piekart, Schmerl, and himself. The main results of 17 papers published in the years 1984-96 are discussed, as well as the content of some forthcoming papers. A list of open problems is included.
0 references
recursive saturation
0 references
survey
0 references
automorphism groups
0 references
countable recursively saturated models of Peano Arithmetic
0 references
open problems
0 references