The axiom of real Blackwell determinacyReport as inadecuate




The axiom of real Blackwell determinacy - Download this document for free, or read online. Document in PDF available to download.

Archive for Mathematical Logic

, Volume 51, Issue 7–8, pp 671–685

First Online: 21 June 2012Received: 19 June 2011Accepted: 14 May 2012

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 \{\mathsf{Bl-AD} \mathbb{R}}\ as an analogue of the axiom of real determinacy \{\mathsf{AD} \mathbb{R}}\. We prove that the consistency strength of \{\mathsf{Bl-AD} \mathbb{R}}\ is strictly greater than that of AD.

KeywordsBlackwell games Sharps Consistency strength Real determinacy Mathematics Subject Classification03E60 03E15 03E35 91A05 91A44  Download to read the full article text



Author: Daisuke Ikegami - David de Kloet - Benedikt Löwe

Source: https://link.springer.com/







Related documents