Localizing the axioms

DOI10.1007/S00153-010-0188-5MaRDI QIDQ982186zbMATH OpenOpenAlexFDO

Authors Athanassios Tzouvaras

Publication date 6 July 2010

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

local ZFClocalization axiomMahlo modelstandard compact cardinal

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)

Recommendations

• Large transitive models in local ZFC
• Finite axiomatizability of local set theory
• Locally finite theories
• Localizations of infinite subsets of
• Global quantification in Zermelo-Fraenkel set theory

Cites work

• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• Natural models of set theories
• Set Theory
• Set theory. An introduction to large cardinals
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Transfinite recursive progressions of axiomatic theories

Cited in

(11)

• An existential locality theorem
• Large transitive models in local ZFC
• A Warning About Translating Axioms
• Finite axiomatizability of local set theory
• A semantic model of confinement and locality theorem
• Consequences of Vopěnka's principle over weak set theories
• Some structural similarities between uncountable sets, powersets and the universe
• Localizing the axioms
• Axiomization of passage from “local” structure to “global” object
• Erratum to: ``Localizing the axioms
• scientific article; zbMATH DE number 4152550 (Why is no real title available?)

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 Q982186)