The Axiom of Real Blackwell Determinacy

Open Access
Authors
Publication date 2012
Journal Archive for Mathematical Logic
Volume | Issue number 51 | 7-8
Pages (from-to) 671-685
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract 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 Bl−ADR  (as an analogue of the axiom of real determinacy ADR). We prove that the consistency strength of Bl−ADR is strictly greater than that of AD.
Document type Article
Language English
Published at https://doi.org/10.1007/s00153-012-0291-x
Downloads
The Axiom of Real Blackwell Determinacy (Final published version)
Permalink to this page
Back