Submission date: 21 December 2015

Abstract:

Suppose that M is a model of PA and N is a countably generated elementary end extension of M. Then M has a minimal elementary end extension which codes exactly the same subsets of M as does N.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1512.06478: pdf, ps.