Some Second Order Set Theory

DOI10.1007/978-3-540-92701-3_3MaRDI QIDQ3601799zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The modal logic of forcing
• The set-theoretic multiverse
• The set-theoretic multiverse: a natural context for set theory
• Moving up and down in the generic multiverse
• Set-theoretic geology

Cites work

• scientific article; zbMATH DE number 1827959 (Why is no real title available?)
• A simple maximality principle
• Certain very large cardinals are not created in small forcing extensions
• Extensions with the approximation and cover properties have no new large cardinals
• Set-theoretic geology
• The ground axiom
• The ground axiom is consistent with V $\neq $ HOD
• The modal logic of forcing

Cited in

(6)

• What can a categoricity theorem tell us?
• Set Theory and Nominalization, Part II
• Martin's maximum and tower forcing
• Moving up and down in the generic multiverse
• A few more dissimilarities between second-order arithmetic and set theory
• Naive infinitism: the case for an inconsistency approach to infinite collections

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3601799)