An extension of borel determinacy

Annals of Pure and Applied Logic 49 (3):279-293 (1990)
  Copy   BIBTEX

Abstract

We prove the determinacy of all Δ 1 1 games on arbitrary trees, and we use this result and the assumption that a measurable cardinal exists to demonstrate the determinacy of all games on ω ω that belong both to – Π 1 1 and to its dual

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(90)90029-2

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,885

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The consistency strength of long projective determinacy.Juan P. Aguilera & Sandra Müller - 2019 - Journal of Symbolic Logic 85 (1):338-366.
Equivalence between Wadge and Lipschitz determinacy.Alessandro Andretta - 2003 - Annals of Pure and Applied Logic 123 (1-3):163-192.
The determinacy strength of Π 2 1 -comprehension.Christoph Heinatsch & Michael Möllerfeld - 2010 - Annals of Pure and Applied Logic 161 (12):1462-1470.
The Determinacy of Context-Free Games.Olivier Finkel - 2013 - Journal of Symbolic Logic 78 (4):1115-1134.
Calibrating determinacy strength in levels of the borel hierarchy.Sherwood Hachtman - 2017 - Journal of Symbolic Logic 82 (2):510-548.
Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.
Determinacy and extended sharp functions on the reals, Part II: obtaining sharps from determinacy.Derrick Albert DuBose - 1992 - Annals of Pure and Applied Logic 58 (1):1-28.
Determinacy and the sharp function on objects of type K.Derrick Albert Dubose - 1995 - Journal of Symbolic Logic 60 (4):1025-1053.

Analytics

Added to PP
2014-01-16

Downloads
33 (#746,712)

6 months
6 (#695,703)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Donald A. Martin
University of California, Los Angeles

Citations of this work

The real core model and its scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.
The Determinacy of Blackwell Games.Donald A. Martin - 1998 - Journal of Symbolic Logic 63 (4):1565-1581.
Determinacy in the difference hierarchy of co-analytic sets.P. D. Welch - 1996 - Annals of Pure and Applied Logic 80 (1):69-108.
Unraveling Π11 sets.Itay Neeman - 2000 - Annals of Pure and Applied Logic 106 (1-3):151-205.

View all 9 citations / Add more citations

References found in this work

The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.
Analytic determinacy and 0#. [REVIEW]Leo Harrington - 1978 - Journal of Symbolic Logic 43 (4):685 - 693.

Add more references