Minimal elementary end extensions

James H. Schmerl

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…