The limits of determinacy in second-order arithmetic

Antonio Montalbán, Richard A. Shore

Type: Article

Publication Date: 2011-07-25

Citations: 63

DOI: https://doi.org/10.1112/plms/pdr022

View Publication

Locations

Proceedings of the London Mathematical Society - View

Similar Works

Action	Title	Year	Authors
+	Determinacy in Second-Order Arithmetic	2023
+	Determinacy and reflection principles in second-order arithmetic	2022	Leonardo C. Pacheco‐Londoño Keita Yokoyama
+	The limits of determinacy in second order arithmetic: consistency and complexity strength	2014	Antonio Montalbán Richard A. Shore
+	Second-order arithmetics	2013	Peter J. Smith
+	Second-order arithmetics	2001	Peter Smith
+	The strength of Turing determinacy within second order arithmetic	2015	Antonio Montalbán Richard A. Shore
+	A Defense of Second-Order Logic	2010	Otávio Bueno
+	Second-Order Logic	2001	John Corcoran
+	Infinite and Bi-infinite Words with Decidable Monadic Theories	2017	Dietrich Kuske Jiamou Liu Anastasia Moskvina
+	Combinatorial principles in second-order theories of bounded arithmetic	1992	Rodrigo Aquino Castro
+	An incompleteness theorem via ordinal analysis	2021	James A. Walsh
+ PDF Chat	The Limits of Determinacy in Higher-Order Arithmetic	2024	Juan P. Aguilera Thibaut Kouptchinsky
+	Modular Termination Checking Theorems for Second-Order Computation	2019	Makoto Hamana
+	Categorical characterizations of the natural numbers require primitive recursion	2014	Leszek Aleksander Kołodziejczyk Keita Yokoyama
+ PDF Chat	On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates	2024	Valérie Berthé Toghrul Karimov Joris Nieuwveld Joël Ouaknine Mihir Vahanwala James Worrell
+ PDF Chat	On maximum conservative extensions	2015	Henry Towsner
+ PDF Chat	A classification of incompleteness statements	2024	Henry Towsner James Igoe Walsh
+ PDF Chat	Second-Order Finite Automata	2020	Alexsander A. de Melo Mateus de Oliveira Oliveira
+	Separations of first and second order theories in bounded arithmetic	2005	Masahiro Yasumoto
+	An incompleteness theorem via ordinal analysis	2021	James Walsh

Works That Cite This (48)

Action	Title	Year	Authors
+ PDF Chat	Open determinacy for class games	2017	Victoria Gitman Joel David Hamkins
+	The strength of compactness in Computability Theory and Nonstandard Analysis	2018	Dag Normann Sam Sanders
+	Representations in measure theory: between a non-computable rock and a hard to prove place.	2019	Dag Normann Sam Sanders
+	Plato and the foundations of mathematics	2019	Sam Sanders
+	Nets and Reverse Mathematics, a pilot study	2019	Sam Sanders
+	Σ-Small Classes	2021	Antonio Montalbán
+	The strength of compactness in Computability Theory and Nonstandard Analysis	2019	Dag Normann Sam Sanders
+ PDF Chat	Determinacy of refinements to the difference hierarchy of co-analytic sets	2017	Chris Le Sueur
+ PDF Chat	Determinacy in third order arithmetic	2017	Sherwood Hachtman
+ PDF Chat	Lipschitz and Wadge binary games in second order arithmetic	2023	Andrés Cordón–Franco Francisco Martín Manuel José Simões Loureiro

Works Cited by This (12)

Action	Title	Year	Authors
+	Topics in Orbit Equivalence	2004	Alexander S. Kechris
+	Descriptive Set Theory and the Structure of Sets of Uniqueness	1987	Alexander S. Kechris Alain Louveau
+	Descriptive Set Theory	1980	Yiannis N. Moschovakis
+	The Descriptive Set Theory of Polish Group Actions	1996	Howard S. Becker Alexander S. Kechris
+	Weak axioms of determinacy and subsystems of analysis II (∑02 games)	1991	Kazuyuki Tanaka
+	Higher set theory and mathematical practice	1971	Harvey Friedman
+	The truth is never simple	1986	John P. Burgess
+ PDF Chat	A proof of projective determinacy	1989	Donald A. Martin John R. Steel
+	Infinite games in the Cantor space and subsystems of second order arithmetic	2007	Takako Nemoto Medyahya Ould Medsalem Kazuyuki Tanaka
+	Reverse Mathematics: The Playground of Logic	2010	Richard A. Shore