Galvin’s “Racing Pawns” Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle

Chris J. Conidis, Noam Greenberg, Daniel Turetsky

Type: Article

Publication Date: 2013-01-01

Citations: 0

DOI: https://doi.org/10.1215/00294527-1960488

View Publication

Locations

Project Euclid (Cornell University) - View - PDF
Notre Dame Journal of Formal Logic - View

Similar Works

Action	Title	Year	Authors
+	Infinite arithmetic formulas and the reflection principle	1997	N. V. Belyakin Sergei P. Odintsov
+	Arithmetical Transfinite Recursion	1999	Stephen G. Simpson
+ PDF Chat	Hyperarithmetical Worm Battles	2021	David Fernández–Duque Konstantinos Papafilippou Joost J. Joosten
+ PDF Chat	PREDICATIVE COLLAPSING PRINCIPLES	2019	Anton Freund
+	Infinitary Combinatorics without the Axiom of Choice	2007	Ioanna M. Dimitriou B. Löwe
+ PDF Chat	Arithmetical and Hyperarithmetical Worm Battles	2022	David Fernández‐Duque Joost J. Joosten Fedor Pakhomov Konstantinos Papafilippou Andreas Weiermann
+	The Internal Consistency of Arithmetic with Infinite Descent	2002	Yvon Gauthier
+	Arithmetical and Hyperarithmetical Worm Battles	2021	David Fernández–Duque Joost J. Joosten Fedor Pakhomov Konstantinos Papafilippou Andreas Weiermann
+ PDF Chat	A note on iterated consistency and infinite proofs	2018	Anton Freund
+	Ordinal Recursion Theory	1996	Chi Tat Chong Sy D. Friedman
+	Ordinal Recursion Theory	1996	Chi Tat Chong Sy D. Friedman
+	Applications of Model Theory to Recursion Theory on Structures of strong Confinality ω.	1974	Anders M. Nyberg
+	Infinitary formulas	2000
+	An isomorphism theorem for models of weak König’s lemma without primitive recursion	2024	Marta Fiori-Carones Leszek Aleksander Kołodziejczyk Tin Lok Wong Keita Yokoyama
+	Independent enumerations of theories and recursive progressions	1992	Lev D. Beklemishev
+	Internal and external consistency of arithmetic	2001	Yvon Gauthier
+ PDF Chat	Arithmetical Congruence Preservation: From Finite to Infinite	2015	Irène Guessarian Patrick Cégielski Serge Grigorieff
+ PDF Chat	Wadge Degrees of Infinitary Rational Relations	2008	Olivier Finkel
+	Pseudofinite Formulae	2022	N. D. Markhabatov S. V. Sudoplatov
+ PDF Chat	Infinitary combinatorics and the axiom of determinateness	1977	E. M. Kleinberg

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (5)

Action	Title	Year	Authors
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson
+	Galvin’s “racing pawns” game and a well-ordering of trees	1985	S. B. Grantham
+	INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS	2006	Antonio Montalbán
+	The limits of determinacy in second-order arithmetic	2011	Antonio Montalbán Richard A. Shore
+	Reversemathematics and ordinal suprema	2017	Jeffry L. Hirst