Switch to: References

Add citations

You must login to add citations.
  1. Indestructibility of Vopěnka's Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
    Vopěnka’s Principle is a natural large cardinal axiom that has recently found applications in category theory and algebraic topology. We show that Vopěnka’s Principle and Vopěnka cardinals are relatively consistent with a broad range of other principles known to be independent of standard (ZFC) set theory, such as the Generalised Continuum Hypothesis, and the existence of a definable well-order on the universe of all sets. We achieve this by showing that they are indestructible under a broad class of forcing constructions, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Pointwise Definable Models of Set Theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
    A pointwise definable model is one in which every object is \loos definable without parameters. In a model of set theory, this property strengthens $V=\HOD$, but is not first-order expressible. Nevertheless, if \ZFC\ is consistent, then there are continuum many pointwise definable models of \ZFC. If there is a transitive model of \ZFC, then there are continuum many pointwise definable transitive models of \ZFC. What is more, every countable model of \ZFC\ has a class forcing extension that is pointwise definable. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  • Coding Into HOD Via Normal Measures with Some Applications.Arthur W. Apter & Shoshana Friedman - 2011 - Mathematical Logic Quarterly 57 (4):366-372.
    We develop a new method for coding sets while preserving GCH in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications of this result. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Set-Theoretic Geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Large Cardinals Need Not Be Large in HOD.Yong Cheng, Sy-David Friedman & Joel David Hamkins - 2015 - Annals of Pure and Applied Logic 166 (11):1186-1198.