Minimal satisfaction classes with an application to rigid models of Peano arithmetic
From MaRDI portal
Publication:1182707
DOI10.1305/ndjfl/1093635835zbMath0748.03024MaRDI QIDQ1182707
Roman Kossak, James H. Schmerl
Publication date: 28 June 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635835
elementary end extension; cofinal extension; cofinal embedding; minimal satisfaction class; recursively saturated models of Peano Arithmetic
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
03C52: Properties of classes of models
03C95: Abstract model theory
Related Items
Automorphism groups of models of Peano arithmetic, Undefinability of truth and nonstandard models, Automorphisms of recursively saturated models of arithmetic, Automorphisms of countable recursively saturated models of PA: A survey, Four problems concerning recursively saturated models of arithmetic, Full satisfaction classes, definability, and automorphisms