Localizing the axioms
From MaRDI portal
Publication:6430991
DOI10.1007/S00153-010-0188-5zbMath1192.03037arXiv2303.15264MaRDI QIDQ6430991
Publication date: 27 March 2023
Consistency and independence results (03E35) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)
This page was built for publication: Localizing the axioms