Localizing the axioms

DOI10.1007/S00153-010-0188-5MaRDI QIDQ6430991arXivFDO

Authors Athanassios Tzouvaras

Publication date 27 March 2023

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00153-010-0188-5

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30)

arXiv classification

math.LO

Abstract: We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc(mZFC)$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc(mZFC)$ plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All $P{i}_2$ consequences of ZFC are provable in $mLZFC$. LZFC strongly extends Kripke-Platek (KP) set theory minus $Delt{a}_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 $alpha$-Mahlo models and $P{i}_1^1$-indescribable models, the latter being the analogues of weakly compact cardinals. Also localization axioms of the form $Loc(mZFC+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.

This page was built for publication: Localizing the axioms

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