Subsets coded in elementary end extensions

DOI10.1007/S00153-014-0381-ZMaRDI QIDQ403405zbMATH OpenOpenAlexFDO

Authors James H. Schmerl

Publication date 29 August 2014

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-014-0381-z

zbMATH Keywords

coded setsend extensionMacDowell-Specker theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Subsets of models of arithmetic
• On two problems concerning end extensions
• Minimal elementary end extensions
• End extensions of models of arithmetic
• Extendible Sets in Peano Arithmetic

Cites work

• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 1222924 (Why is no real title available?)
• scientific article; zbMATH DE number 3437141 (Why is no real title available?)
• scientific article; zbMATH DE number 3204609 (Why is no real title available?)
• A note on a theorem of Kanovei
• Corrigendum to: ``On the strength of Ramsey's theorem for pairs
• Formalizing forcing arguments in subsystems of second-order arithmetic
• On maximum conservative extensions
• On the strength of Ramsey's theorem for pairs
• Subsets of models of arithmetic
• Subsystems of second order arithmetic
• The structure of models of Peano arithmetic

Cited in

(4)

• Neutrally expandable models of arithmetic
• Minimal elementary end extensions
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Marginalia on a theorem of Woodin

This page was built for publication: Subsets coded in elementary end extensions

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