Arithmetically saturated models of arithmetic
From MaRDI portal
Publication:1913628
DOI10.1305/ndjfl/1040136914zbMath0848.03017MaRDI QIDQ1913628
James H. Schmerl, Roman Kossak
Publication date: 22 May 1996
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040136914
fixed point; automorphism group; Peano arithmetic; recursive saturation; cofinality; open subgroups; arithmetically saturated models of PA; lattice of elementary substructures
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
Related Items
Automorphism groups of models of Peano arithmetic, Decoding in the automorphism group of a recursively saturated model of arithmetic, Automorphisms of models of arithmetic: a unified view, On cofinal submodels and elementary interstices, AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC, AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ultrafilters and types on models of arithmetic
- Automorphisms of recursively saturated models of arithmetic
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
- Recursively saturated nonstandard models of arithmetic; addendum
- On elementary cuts in recursively saturated models of Peano Arithmetic
- Subgroups of Infinite Symmetric Groups
- Models with the ω-property
- The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
- Finite Substructure Lattices of Models of Peano Arithmetic
- The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic