Localizing the axioms

DOI10.1007/S00153-010-0188-5zbMATH Open1192.03037OpenAlexW2089706512MaRDI QIDQ982186FDOQ982186

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

Recommendations

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

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)

Cites Work

• Set Theory
• Set theory. An introduction to large cardinals
• Transfinite recursive progressions of axiomatic theories
• Title not available (Why is that?)
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Natural models of set theories

Cited In (10)

• An existential locality theorem
• Large transitive models in local ZFC
• A Warning About Translating Axioms
• Localizing the axioms
• Some structural similarities between uncountable sets, powersets and the universe
• A semantic model of confinement and locality theorem
• Axiomization of passage from “local” structure to “global” object
• Title not available (Why is that?)
• Erratum to: ``Localizing the axioms
• Consequences of Vopěnka’s Principle over weak set theories

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)