Arithmetically saturated models of arithmetic (Q1913628)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Arithmetically saturated models of arithmetic |
scientific article; zbMATH DE number 881255
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Arithmetically saturated models of arithmetic |
scientific article; zbMATH DE number 881255 |
Statements
Arithmetically saturated models of arithmetic (English)
0 references
22 May 1996
0 references
A model of a first-order theory is arithmetically saturated if it is saturated with respect to the types that are arithmetic in the complete types realized in the model. The paper presents an outline of the general theory of countable arithmetically saturated models of PA and some of its applications. The results concern the automorphism group of a countable recursively saturated model of PA. New results on fixed point sets, open subgroups, and the cofinality of the automorphisms group are given. It is also shown that the standard system of a countable arithmetically saturated model of PA is determined by the lattice of the elementary substructures of the model.
0 references
Peano arithmetic
0 references
recursive saturation
0 references
lattice of elementary substructures
0 references
arithmetically saturated models of PA
0 references
automorphism group
0 references
fixed point
0 references
open subgroups
0 references
cofinality
0 references
0 references
0 references
0.8708345293998718
0 references
0.8465233445167542
0 references
0.8451106548309326
0 references
