Constructing κ-like Models of Arithmetic

DOI10.1112/S002461079600470XMaRDI QIDQ4716688zbMATH OpenOpenAlexFDO

Authors Richard Kaye

Publication date 12 December 1996

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/s002461079600470x

zbMATH Keywords

elementary equivalencenonstandard models of arithmetic

Mathematics Subject Classification ID

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

Recommendations

• The theory of \(\kappa\)-like models of arithmetic
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA
• scientific article; zbMATH DE number 4043829
• On Keisler singular-like models

Cited in

(7)

• The theory of \(\kappa\)-like models of arithmetic
• In search of the first-order part of Ramsey's theorem for pairs
• $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA
• Kripke Models Built from Models of Arithmetic
• Random reals, the rainbow Ramsey theorem, and arithmetic conservation
• HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
• An isomorphism theorem for models of weak König's lemma without primitive recursion

This page was built for publication: Constructing κ-like Models of Arithmetic

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