Some Second Order Set Theory

DOI10.1007/978-3-540-92701-3_3zbMath1209.03045OpenAlexW1585505717MaRDI QIDQ3601799

Joel David Hamkins

Publication date: 12 February 2009

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92701-3_3

zbMATH Keywords

survey paperinner modelsset-theoretic geologymodal logic of forcing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (3)

Martin's maximum and tower forcing ⋮ WHAT CAN A CATEGORICITY THEOREM TELL US? ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections

Cites Work

• Unnamed Item
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• A simple maximality principle
• The ground axiom is consistent with V $\neq $ HOD
• Extensions with the approximation and cover properties have no new large cardinals
• The modal logic of forcing
• The ground axiom

This page was built for publication: Some Second Order Set Theory