Lofty Models of Peano Arithmetic

2020/02/16 by James H. Schmerl, Schmerl, James H.
Mathematics · #History and Theory of Mathematics

paper · pdf · doi:10.48550/arxiv.2002.06639

Abstract

If M is a nonstandard model of Peano Arithmetic, then M is lofty iff M has a simple elementary extension that is recursively saturated. This had previously been known for countable M.

Related

• The Diversity of Minimal Cofinal Extensions
• On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem
• The Barwise-Schlipf Theorem
• Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic
• 63 Years of the MacDowell-Specker Theorem