Switch to: References

Add citations

You must login to add citations.
  1. Steel’s Programme: Evidential Framework, the Core and Ultimate- L.Joan Bagaria & Claudio Ternullo - 2023 - Review of Symbolic Logic 16 (3):788-812.
    We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending $\mathsf {ZFC}$ by using his multiverse axioms $\mathsf {MV}$ and the ‘core hypothesis’. In the first part, we examine the evidential framework for $\mathsf {MV}$, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of $\mathsf {ZFC}$. In the second part, we address the existence and the possible features of the core of $\mathsf {MV}_T$ (where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Choice principles in local mantles.Farmer Schlutzenberg - 2022 - Mathematical Logic Quarterly 68 (3):264-278.
    Assume. Let κ be a cardinal. A ‐ground is a transitive proper class W modelling such that V is a generic extension of W via a forcing of cardinality. The κ‐mantle is the intersection of all ‐grounds. We prove that certain partial choice principles in are the consequence of κ being inaccessible/weakly compact, and some other related facts.
    Download  
     
    Export citation  
     
    Bookmark