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
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)