Set theoretical analogues of the Barwise-Schlipf theorem

Ali Enayat

doi:10.1016/j.apal.2022.103158

paper

Set theoretical analogues of the Barwise-Schlipf theorem

arXiv:2001.09243 · doi:10.1016/j.apal.2022.103158

Abstract

We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $Δ_{1}^{1}$ -Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to Goedel-Bernays class theory plus $Σ_{1}^{1}$ -Choice.

16 pages. This is the final version of the paper, and corrects some minor typos in the previous draft. The preliminaries section of the paper has a substantial text overlap with arXiv:1910.04029

Cited by in corpus (1)

Set theory with a proper class of indiscernibles