Lofty Models of Peano Arithmetic
Logic
2020-03-13 v2
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.
Cite
@article{arxiv.2002.06639,
title = {Lofty Models of Peano Arithmetic},
author = {James H. Schmerl},
journal= {arXiv preprint arXiv:2002.06639},
year = {2020}
}
Comments
Withdrawn: The proof is faulty