Localizing the axioms

Archive for Mathematical Logic 49 (5):571-601 (2010)
  Copy   BIBTEX

Abstract

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All ${\Pi_2}$ consequences of ZFC are provable in LZFC. LZFC strongly extends Kripke-Platek (KP) set theory minus Δ0-Collection and minus ${\in}$ -induction scheme. ZFC+ “there is an inaccessible cardinal” proves the consistency of LZFC. In LZFC we focus on models rather than cardinals, a transitive model being considered as the analogue of an inaccessible cardinal. Pushing this analogy further we define α-Mahlo models and ${\Pi_1^1}$ -indescribable models, the latter being the analogues of weakly compact cardinals. Also localization axioms of the form ${Loc({\rm ZFC}+\phi)}$ are considered and their global consequences are examined. Finally we introduce the concept of standard compact cardinal (in ZFC) and some standard compactness results are proved

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

Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
On the axiom of union.Greg Oman - 2010 - Archive for Mathematical Logic 49 (3):283-289.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
On some questions concerning strong compactness.Arthur W. Apter - 2012 - Archive for Mathematical Logic 51 (7-8):819-829.
Orders of Indescribable Sets.Alex Hellsten - 2006 - Archive for Mathematical Logic 45 (6):705-714.
Level by level inequivalence beyond measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.

Analytics

Added to PP
2013-12-01

Downloads
39 (#411,191)

6 months
6 (#530,055)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

Citations of this work

Erratum to: Localizing the axioms.Athanassios Tzouvaras - 2011 - Archive for Mathematical Logic 50 (3-4):513-513.
Large transitive models in local ZFC.Athanassios Tzouvaras - 2014 - Archive for Mathematical Logic 53 (3-4):233-260.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.
Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.

View all 6 references / Add more references