arXiv Analytics

Sign in

arXiv:2002.06639 [math.LO]AbstractReferencesReviewsResources

Lofty Models of Peano Arithmetic

James H. Schmerl

Published 2020-02-16Version 1

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.

Comments: 6 pages
Categories: math.LO
Subjects: 03C62, 03C50
Related articles: Most relevant | Search more
arXiv:1311.6375 [math.LO] (Published 2013-11-25)
On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem
arXiv:1709.07829 [math.LO] (Published 2017-09-22)
Enayat Models of Peano Arithmetic
arXiv:1601.08214 [math.LO] (Published 2016-01-29)
Slow Reflection

Links

Toolbox