Determinacy in third order arithmetic

Annals of Pure and Applied Logic 168 (11):2008-2021 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.05.004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.
Schmerl decompositions in first order arithmetic.François Dorais, Zachary Evans, Marcia Groszek, Seth Harris & Theodore Slaman - 2019 - Annals of Pure and Applied Logic 170 (12):102717.
Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.
CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Lipschitz and Wadge binary games in second order arithmetic.Andrés Cordón-Franco, F. Félix Lara-Martín & Manuel J. S. Loureiro - 2023 - Annals of Pure and Applied Logic 174 (9):103301.
Countable valued fields in weak subsystems of second-order arithmetic.Kostas Hatzikiriakou & Stephen G. Simpson - 1989 - Annals of Pure and Applied Logic 41 (1):27-32.
Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
Determinacy from strong compactness of ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.
Determinacy in the difference hierarchy of co-analytic sets.P. D. Welch - 1996 - Annals of Pure and Applied Logic 80 (1):69-108.

Analytics

Added to PP
2017-06-03

Downloads
24 (#897,825)

6 months
5 (#1,013,651)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.
Determinacy separations for class games.Sherwood Hachtman - 2019 - Archive for Mathematical Logic 58 (5-6):635-648.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 10 references / Add more references