Weak axioms of determinacy and subsystems of analysis I: δ20 games

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

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

Through your library

Similar books and articles

Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Parallel strategies.Pavel Pudlák - 2003 - Journal of Symbolic Logic 68 (4):1242-1250.
An extension of borel determinacy.Donald A. Martin - 1990 - Annals of Pure and Applied Logic 49 (3):279-293.
Equivalence between Wadge and Lipschitz determinacy.Alessandro Andretta - 2003 - Annals of Pure and Applied Logic 123 (1-3):163-192.
Complex analysis in subsystems of second order arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.
The axiom of real Blackwell determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
Unraveling Π11 sets.Itay Neeman - 2000 - Annals of Pure and Applied Logic 106 (1-3):151-205.
Complex Expectations.Alan Hájek & Harris Nover - 2008 - Mind 117 (467):643 - 664.
The problem of determinacy of infinite games from an intuitionistic point of view.Wim Veldman - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 351--370.

Analytics

Added to PP
2016-02-04

Downloads
44 (#371,404)

6 months
6 (#588,245)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Descriptive Set Theory.Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
The method of alternating chains.J. W. Addison - 1965 - In The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 1--16.
Uniformly defined descending sequences of degrees.Harvey Friedman - 1976 - Journal of Symbolic Logic 41 (2):363-367.

Add more references