Large transitive models in local ZFC

Archive for Mathematical Logic 53 (3-4):233-260 (2014)
  Copy   BIBTEX

Abstract

This paper is a sequel to Tzouvaras :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 Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^1}$$\end{document}-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ϕ saying that every set belongs to a transitive model of ZFC satisfying ϕ. The theories LZFCϕ = LZFC + Locϕ are local analogues of the theories ZFC+“there is a proper class of large cardinals ψ”, where ψ is a large cardinal property. If sext 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. 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 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

C(n)-cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.
A Reduction of the NF Consistency Problem.Athanassios Tzouvaras - 2007 - Journal of Symbolic Logic 72 (1):285 - 304.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
Vopěnka's principle and compact logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.

Analytics

Added to PP
2014-01-21

Downloads
17 (#873,341)

6 months
5 (#648,018)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

The spectrum of elementary embeddings j: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.

Add more references