Switch to: References

Add citations

You must login to add citations.
  1. A parametrised choice principle and Martin's conjecture on Blackwell determinacy.Benedikt Löwe - 2006 - Mathematical Logic Quarterly 52 (2):187-189.
    We define a parametrised choice principle PCP which is equivalent to the Axiom of Determinacy. PCP describes the difference between these two axioms and could serve as a means of proving Martin's conjecture on the equivalence of these axioms.
    Download  
     
    Export citation  
     
    Bookmark  
  • The axiom of real Blackwell determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
    The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} (as an analogue of the axiom of real determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{AD}_\mathbb{R}}$$\end{document}). We prove that the consistency strength of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.
    Download  
     
    Export citation  
     
    Bookmark  
  • 10th Asian Logic Conference: Sponsored by the Association for Symbolic Logic.Toshiyasu Arai - 2009 - Bulletin of Symbolic Logic 15 (2):246-265.
    Download  
     
    Export citation  
     
    Bookmark