Arithmetically saturated models of arithmetic

DOI10.1305/NDJFL/1040136914MaRDI QIDQ1913628zbMATH OpenOpenAlexFDO

Authors 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

automorphism groupfixed pointPeano arithmeticrecursive saturationcofinalityopen subgroupsarithmetically saturated models of PAlattice of elementary substructures

Mathematics Subject Classification ID

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

Recommendations

• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets

Cites work

• scientific article; zbMATH DE number 3959428 (Why is no real title available?)
• scientific article; zbMATH DE number 3724423 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 57851 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 663795 (Why is no real title available?)
• Automorphisms of recursively saturated models of arithmetic
• Finite Substructure Lattices of Models of Peano Arithmetic
• Models with the ω-property
• On elementary cuts in recursively saturated models of Peano Arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Recursively saturated nonstandard models of arithmetic; addendum
• Subgroups of Infinite Symmetric Groups
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Ultrafilters and types on models of arithmetic

Cited in

(19)

• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphisms of saturated and boundedly saturated models of arithmetic
• scientific article; zbMATH DE number 2236641 (Why is no real title available?)
• scientific article; zbMATH DE number 7183906 (Why is no real title available?)
• Saturated models
• Recursively saturated nonstandard models of arithmetic; addendum
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• Bounded Scott Set Saturation
• scientific article; zbMATH DE number 1746899 (Why is no real title available?)
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Automorphism groups of models of Peano arithmetic
• Models of arithmetic in \(A\)-isols
• Automorphism groups of saturated models of Peano arithmetic
• Automorphism groups of arithmetically saturated models
• Regularity in models of arithmetic
• The complexity of classification problems for models of arithmetic
• Order-types of models of arithmetic and a connection with arithmetic saturation
• Automorphisms of models of arithmetic: a unified view
• On cofinal submodels and elementary interstices

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1913628)