Switch to: References

Add citations

You must login to add citations.
  1. The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
    We introduce 0• as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ does not exist”. Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino problem pp. 221–224)).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • The full basis theorem does not imply analytic wellordering.Vladimir Kanovei & Vassily Lyubetsky - 2021 - Annals of Pure and Applied Logic 172 (4):102929.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Counterexamples to countable-section Π 2 1 uniformization and Π 3 1 separation.Vladimir Kanovei & Vassily Lyubetsky - 2016 - Annals of Pure and Applied Logic 167 (3):262-283.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Universally Baire sets and definable well-orderings of the reals.S. Y. D. Friedman & Ralf Schindler - 2003 - Journal of Symbolic Logic 68 (4):1065-1081.
    Let n ≥ 3 be an integer. We show that it is consistent that every σ1n-set of reals is universally Baire yet there is a projective well-ordering of the reals. The proof uses “David’s trick” in the presence of inner models with strong cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Projective Well-orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.
    If there is no inner model with ω many strong cardinals, then there is a set forcing extension of the universe with a projective well-ordering of the reals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations