Some Second Order Set Theory

DOI10.1007/978-3-540-92701-3_3zbMATH Open1209.03045OpenAlexW1585505717MaRDI QIDQ3601799FDOQ3601799

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

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

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)

Cites Work

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

Cited In (6)

• Set Theory and Nominalization, Part II
• Moving up and down in the generic multiverse
• Naive infinitism: the case for an inconsistency approach to infinite collections
• Martin's maximum and tower forcing
• A few more dissimilarities between second-order arithmetic and set theory
• 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)