Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.
    In this paper I shall present a method for proving determinacy from large cardinals which, in many cases, seems to yield optimal results. One of the main applications extends theorems of Martin, Steel and Woodin about determinacy within the projective hierarchy. The method can also be used to give a new proof of Woodin's theorem about determinacy in L.The reason we look for optimal determinacy proofs is not only vanity. Such proofs serve to tighten the connection between large cardinals and (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • An extension of borel determinacy.Donald A. Martin - 1990 - Annals of Pure and Applied Logic 49 (3):279-293.
    We prove the determinacy of all Δ 1 1 games on arbitrary trees, and we use this result and the assumption that a measurable cardinal exists to demonstrate the determinacy of all games on ω ω that belong both to – Π 1 1 and to its dual.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Higher set theory and mathematical practice.Harvey M. Friedman - 1971 - Annals of Mathematical Logic 2 (3):325.
    Download  
     
    Export citation  
     
    Bookmark   43 citations