Saturated models of Peano arithmetic

DOI10.2307/2273592zbMath0498.03021OpenAlexW2113595949MaRDI QIDQ3962976

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

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

Related Items

Worlds of homogeneous artifacts ⋮ ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC ⋮ Model-theoretic applications of cofinality spectrum problems ⋮ Atomic saturation of reduced powers ⋮ Elementary cuts in saturated models of Peano arithmetic ⋮ Resplendent models and \({\Sigma_1^1}\)-definability with an oracle ⋮ Saturation and simple extensions of models of Peano arithmetic

Cites Work

• Unnamed Item

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