Large transitive models in local {\rm ZFC}

DOI10.1007/S00153-013-0364-5arXiv2303.15287MaRDI QIDQ6430998FDOQ6430998

Authors: Athanassios Tzouvaras 

Publication date: 27 March 2023

Abstract: This paper is a sequel to cite{Tz10}, where a local version of ZFC, LZFC, was introduced and examined and transitive models of ZFC with properties that resemble large cardinal properties, namely Mahlo and $P{i}_1^1$-indescribable models, were considered. By analogy we refer to such models as "large models", and the properties in question as "large model properties". Continuing here in the same spirit we consider further large model properties, that resemble stronger large cardinals, namely, "elementarily embeddable", "extendible" and "strongly extendible", "critical" and "strongly critical", "self-critical and "strongly self-critical", the definitions of which involve elementary embeddings. Each large model property $phi$ gives rise to a localization axiom $Lo{c}^{phi}(mZFC)$ saying that every set belongs to a transitive model of ZFC satisfying $phi$. The theories ${mLZFC}^{p}hi=mLZFC$+$Lo{c}^{phi}(mZFC)$ are local analogues of the theories ZFC+"there is a proper class of large cardinals $psi$", where $psi$ is a large cardinal property. If $sext(x)$ is the property of strong extendibility, it is shown that ${mLZFC}^{sext}$ proves Powerset and $Sigm{a}_1$-Collection. In order to refute $V=L$ over LZFC, we combine the existence of strongly critical models with an axiom of different flavor, the Tall Model Axiom ($TMA$). $V=L$ can also be refuted by $TMA$ plus the axiom $GC$ saying that "there is a greatest cardinal", although it is not known if $TMA+GC$ is consistent over LZFC. Finally Vopv{e}nka's Principle ($VP$) and its impact on LZFC are examined. It is shown that ${mLZFC}^{sext}+VP$ proves Powerset and Replacement, i.e., ZFC is fully recovered. The same is true for some weaker variants of ${mLZFC}^{sext}$. Moreover the theories LZFC${}^{sext}$+$VP$ and ZFC+$VP$ are shown to be identical.

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65)

This page was built for publication: Large transitive models in local {\rm ZFC}

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