End extending models of set theory via power admissible covers

DOI10.1016/J.APAL.2022.103132arXiv2108.02677MaRDI QIDQ6374595

Zachiri McKenzie, Ali Enayat

Publication date: 5 August 2021

Abstract: Motivated by problems involving end extensions of models of set theory, we develop the rudiments of the power admissible cover construction (over ill-founded models of set theory), an extension of the machinery of admissible covers invented by Barwise as a versatile tool for generalizing model-theoretic results about countable well-founded models of set theory to countable ill-founded ones. Our development of the power admissible machinery allows us to obtain new results concerning powerset-preserving end extensions and rank extensions of countable models of subsystems of $mathsfZFC$. The canonical extension $mathsf{KP}^{m}athcalP$ of Kripke-Platek set theory $mathsfKP$ plays a key role in our work; one of our results refines a theorem of Rathjen by showing that $Sigm{a}_1^{m}athcalPext-mathsfFoundation$ is provable in $mathsf{KP}^{m}athcalP$ (without invoking the axiom of choice).

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Set theory (03E99) Nonstandard models (03H99)

This page was built for publication: End extending models of set theory via power admissible covers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6374595)