Switch to: Citations

Add references

You must login to add references.
  1. The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
    It is proved that in the absence of proper class inner models with Woodin cardinals, for each n ε {1,…,ω}, ∑3 + n1 absoluteness implies there are n strong cardinals in K (where this denotes a suitably defined global version of the core model for one Woodin cardinal as exposed by Steel. Combined with a forcing argument of Woodin, this establishes that the consistency strength of ∑3 + n1 absoluteness is exactly that of n strong cardinals so that in particular (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations