Saturated models of Peano arithmetic

DOI10.2307/2273592zbMATH Open0498.03021OpenAlexW2113595949MaRDI QIDQ3962976FDOQ3962976

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)

Cites Work

• Title not available (Why is that?)

Cited In (7)

• ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC
• Model-theoretic applications of cofinality spectrum problems
• Elementary cuts in saturated models of Peano arithmetic
• Atomic saturation of reduced powers
• 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)