Archive for Mathematical Logic 51 (7-8):671-685 (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
Keywords Blackwell games  Sharps  Consistency strength  Real determinacy
Categories (categorize this paper)
DOI 10.1007/s00153-012-0291-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
The Determinacy of Blackwell Games.Donald A. Martin - 1998 - Journal of Symbolic Logic 63 (4):1565-1581.
The Strength of Blackwell Determinacy.Donald A. Martin, Itay Neeman & Marco Vervoort - 2003 - Journal of Symbolic Logic 68 (2):615-636.
AD and the Supercompactness of ℵ1.Howard Becker - 1981 - Journal of Symbolic Logic 46 (4):822-842.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Strength of Blackwell Determinacy.Donald A. Martin, Itay Neeman & Marco Vervoort - 2003 - Journal of Symbolic Logic 68 (2):615-636.
Representationalism and the Determinacy of Visual Content.Ben Bronner - 2015 - Philosophical Psychology 28 (2):227-239.
The Equivalence of Determinacy and Iterated Sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.
Strong Analogues of Martin's Axiom Imply Axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
Determinacy and the Sharp Function on Objects of Type K.Derrick Albert Dubose - 1995 - Journal of Symbolic Logic 60 (4):1025-1053.
Some Applications of Coarse Inner Model Theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
On the Determinacy of Valuation.John F. Post - 1984 - Philosophical Studies 45 (May):315-33.
Is Gold-Putnam Diagonalization Complete?Cory Juhl - 1995 - Journal of Philosophical Logic 24 (2):117 - 138.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Measurement Without Archimedean Axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.

Analytics

Added to PP index
2013-10-27

Total views
38 ( #300,741 of 2,518,240 )

Recent downloads (6 months)
4 ( #167,290 of 2,518,240 )

How can I increase my downloads?

Downloads

My notes