Arithmetically saturated models of arithmetic

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

zbMATH Keywords

fixed point; automorphism group; Peano arithmetic; recursive saturation; cofinality; open subgroups; arithmetically saturated models of PA; lattice of elementary substructures

Mathematics Subject Classification ID

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