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)

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

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)