English

Partially-elementary end extensions of countable admissible sets

Logic 2022-01-14 v1

Abstract

A result of Kaufmann shows that if LαL_\alpha is countable, admissible and satisfies Πn-Collection\Pi_n\textsf{-Collection}, then Lα,\langle L_\alpha, \in \rangle has a proper Σn+1\Sigma_{n+1}-elementary end extension. This paper investigates to what extent the theory that holds in Lα,\langle L_\alpha, \in \rangle can be transferred to the partially-elementary end extensions guaranteed by Kaufmann's result. We show that there are LαL_\alpha satisfying full separation, powerset and Πn-Collection\Pi_n\textsf{-Collection} that have no proper Σn+1\Sigma_{n+1}-elementary end extension satisfying either Πn-Collection\Pi_{n}\textsf{-Collection} or Πn+3-Foundation\Pi_{n+3}\textsf{-Foundation}. In contrast, we show that if AA is a countable admissible set that satisfies Πn-Collection\Pi_n\textsf{-Collection} and TT is a recursively enumerable theory that holds in A,\langle A, \in \rangle, then A,\langle A, \in \rangle has a proper Σn\Sigma_n-elementary end extension that satisfies TT.

Keywords

Cite

@article{arxiv.2201.04817,
  title  = {Partially-elementary end extensions of countable admissible sets},
  author = {Zachiri McKenzie},
  journal= {arXiv preprint arXiv:2201.04817},
  year   = {2022}
}

Comments

13 pages

R2 v1 2026-06-24T08:48:33.668Z