Abstract
This paper is a sequel to Tzouvaras (Arch Math Log 49(5):571–601, 2010), 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 \({\Pi_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 ϕ gives rise to a localization axiom Loc ϕ(ZFC) saying that every set belongs to a transitive model of ZFC satisfying ϕ. The theories LZFCϕ = LZFC + Loc ϕ(ZFC) are local analogues of the theories ZFC+“there is a proper class of large cardinals ψ”, where ψ is a large cardinal property. If sext(x) is the property of strong extendibility, it is shown that LZFCsext proves Powerset and Σ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 Vopěnka’s Principle (V P) and its impact on LZFC are examined. It is shown that LZFCsext + V P proves Powerset and Replacement, i.e., ZFC is fully recovered. The same is true for some weaker variants of LZFCsext. Moreover the theories LZFCsext+V P and ZFC+V P are shown to be identical.
Similar content being viewed by others
References
Adámek, J., Rosický, J.: Locally Representable and Accessible Categories London Mathematical Society Lecture Note Series, vol. 189, Cambridge University Press (1994)
Corazza P.: The spectrum of elementary embeddings j : V → V. Ann. Pure Appl. Log. 139, 327–399 (2006)
Devlin K.: Constructibility, Perspectives in Mathematical Logic, vol. 6. Springer, Berlin (1984)
Jech T.: Set Theory, The Third Millennium Edition. Springer, Berlin (2003)
Kanamori A.: The Higher Infinite, Perspectives in Mathematical Logic. Springer, Berlin (1997)
Montague R., Vaught R.L.: Natural models of set theories. Fund. Math. XLVII, 219–242 (1959)
Tzouvaras, A.: Localizing the axioms. Arch. Math. Logic 49(5), 571–601 (2010), and Erratum to “Localizing the axioms” Arch. Math. Logic 50(3), 513 (2011)
Vopěnka P., Pultr A., Hedrlín Z.: A rigid relation exists on any set. Comment. Math. Univ. Carolin. 6, 149–155 (1965)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tzouvaras, A. Large transitive models in local ZFC. Arch. Math. Logic 53, 233–260 (2014). https://doi.org/10.1007/s00153-013-0364-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-013-0364-5
Keywords
- Local ZFC theory
- Large transitive models
- Extendible and strongly extendible model
- Embeddable model
- Critical and strongly critical model
- Axioms TMA and GC
- Vopěnka’s Principle