Minimal elementary end extensions
Abstract
Suppose that ${\mathcal M}$ is a model of PA and ${\mathcal N}$ is a countably generated elementary end extension of ${\mathcal M}$. Let ${\mathfrak X}$ be the set of subsets of M that are coded by ${\mathcal N}$. Then ${\mathcal M}$ has a minimal elementary end extension that codes exactly the same subsets of M that ${\mathcal N}$ does iff every set that is $\Pi_1^0$-definable in $({\mathcal M},{\mathfrak X})$ is the union of countably many sets that are $\Sigma_1^0$-definable.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2015
- DOI:
- 10.48550/arXiv.1512.06478
- arXiv:
- arXiv:1512.06478
- Bibcode:
- 2015arXiv151206478S
- Keywords:
-
- Mathematics - Logic
- E-Print:
- This version replaces the previously withdrawn version. Not only has the spelling of the title been corrected, but so has the statement and proof of the main result