Lofty Models of Peano Arithmetic
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.
Withdrawn: The proof is faulty