Switch to: References

Add citations

You must login to add citations.
  1. Determinacy in third order arithmetic.Sherwood Hachtman - 2017 - Annals of Pure and Applied Logic 168 (11):2008-2021.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Determinacy separations for class games.Sherwood Hachtman - 2019 - Archive for Mathematical Logic 58 (5-6):635-648.
    We show, assuming weak large cardinals, that in the context of games of length \ with moves coming from a proper class, clopen determinacy is strictly weaker than open determinacy. The proof amounts to an analysis of a certain level of L that exists under large cardinal assumptions weaker than an inaccessible. Our argument is sufficiently general to give a family of determinacy separation results applying in any setting where the universal class is sufficiently closed; e.g., in third, seventh, or (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation