Extendible Sets in Peano Arithmetic

DOI10.2307/2001288zbMath0677.03026OpenAlexW4234135970MaRDI QIDQ3832550

Stuart T. Smith

Publication date: 1989

Full work available at URL: https://doi.org/10.2307/2001288

zbMATH Keywords

models of arithmeticcountable modelend extensionscofinal extensionsextendible sets

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items

Nonstandard definability, Transplendent models: expansions omitting a type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saturation and simple extensions of models of Peano arithmetic
• Cofinal extensions of nonstandard models of arithmetic
• Model theory
• On cofinal extensions of models of arithmetic
• Recursively saturated nonstandard models of arithmetic
• An introduction to recursively saturated and resplendent models
• A Rather Classless Model