Minimal satisfaction classes with an application to rigid models of Peano arithmetic

DOI10.1305/ndjfl/1093635835zbMath0748.03024OpenAlexW2062971733MaRDI 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

zbMATH Keywords

elementary end extensioncofinal extensioncofinal embeddingminimal satisfaction classrecursively saturated models of Peano Arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52) Abstract model theory (03C95)

Related Items (6)

Full satisfaction classes, definability, and automorphisms ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Four problems concerning recursively saturated models of arithmetic ⋮ Undefinability of truth and nonstandard models ⋮ Automorphisms of recursively saturated models of arithmetic ⋮ Automorphism groups of models of Peano arithmetic

This page was built for publication: Minimal satisfaction classes with an application to rigid models of Peano arithmetic