Saturated models of Peano arithmetic

DOI10.2307/2273592MaRDI QIDQ3962976zbMATH OpenOpenAlexFDO

Authors J. F. Pabion

Publication date 1982

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

coding sequencesreducts of Peano arithmetic

Mathematics Subject Classification ID

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

Cited in

(7)

• Worlds of homogeneous artifacts
• Saturation and simple extensions of models of Peano arithmetic
• Elementary cuts in saturated models of Peano arithmetic
• Resplendent models and \({\Sigma_1^1}\)-definability with an oracle
• Model-theoretic applications of cofinality spectrum problems
• Order types of models of fragments of Peano arithmetic
• Atomic saturation of reduced powers

This page was built for publication: Saturated models of Peano arithmetic

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