Large transitive models in local ZFC

DOI10.1007/s00153-013-0364-5zbMath1351.03046OpenAlexW2035063984MaRDI QIDQ2449850

Athanassios Tzouvaras

Publication date: 12 May 2014

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

Full work available at URL: https://doi.org/10.1007/s00153-013-0364-5

zbMATH Keywords

Vopěnka's principleaxioms TMA and GCcritical modelembeddable modelextendible modellarge transitive modelslocal ZFC theorystrongly critical modelstrongly extendible model

Mathematics Subject Classification ID

Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Other set-theoretic hypotheses and axioms (03E65)

Related Items (1)

Consequences of Vopěnka’s Principle over weak set theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Localizing the axioms
• The spectrum of elementary embeddings \(j: V \to V\)
• Natural models of set theories
• Set Theory

This page was built for publication: Large transitive models in local ZFC