Remarks on weak notions of saturation in models of Peano arithmetic

DOI10.2307/2273867MaRDI QIDQ3755444zbMATH OpenOpenAlexFDO

Authors Matt Kaufmann, James H. Schmerl

Publication date 1987

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

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

zbMATH Keywords

saturated modelminimal modelsrecursively saturatedcountable modelsmodels of Peano arithmeticdiagonal methodsstandard cutrecursively definable

Mathematics Subject Classification ID

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

Recommendations

• Saturation and simple extensions of models of Peano arithmetic
• Some highly saturated models of Peano arithmetic
• A Rather Classless Model
• On M-recursively saturated models of arithmetic
• Elementary cuts in saturated models of Peano arithmetic

Cites work

• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Saturation and simple extensions of models of Peano arithmetic

Cited in

(18)

• Minimal satisfaction classes with an application to rigid models of Peano arithmetic
• The Recursively Saturated Part of Models of Peano Arithmetic
• scientific article; zbMATH DE number 2236641 (Why is no real title available?)
• Models of Peano arithmetic and a question of Sikorski on ordered fields
• Set theoretic properties of Loeb measure
• Saturation and simple extensions of models of Peano arithmetic
• Elementary cuts in saturated models of Peano arithmetic
• Some highly saturated models of Peano arithmetic
• Models with the ω-property
• A Rather Classless Model
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• The Barwise-Schlipf theorem
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• scientific article; zbMATH DE number 4006270 (Why is no real title available?)
• Illusory models of Peano arithmetic
• On M-recursively saturated models of arithmetic
• Definability of initial segments

This page was built for publication: Remarks on weak notions of saturation in models of Peano arithmetic

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