Arithmetically saturated models of arithmetic

DOI10.1305/ndjfl/1040136914zbMath0848.03017OpenAlexW1990598296MaRDI 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 pointautomorphism groupPeano arithmeticrecursive saturationcofinalityopen subgroupsarithmetically saturated models of PAlattice of elementary substructures

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (6)

AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO 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 models of Peano arithmetic ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Arithmetically saturated models of arithmetic