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

inner modelsmodal logic of forcingset-theoretic geologysurvey paper

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) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70)

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

• 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
• scientific article; zbMATH DE number 1827959 (Why is no real title available?)
• Set-theoretic geology
• The ground axiom
• The ground axiom is consistent with V \neq HOD
• The modal logic of forcing

Cited in

(6)

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

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)