Large transitive models in local ZFC
From MaRDI portal
Publication:2449850
DOI10.1007/s00153-013-0364-5zbMath1351.03046OpenAlexW2035063984MaRDI QIDQ2449850
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
Vopěnka's principleaxioms TMA and GCcritical modelembeddable modelextendible modellarge transitive modelslocal ZFC theorystrongly critical modelstrongly extendible model
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)
Cites Work
This page was built for publication: Large transitive models in local ZFC