Determinacy and reflection principles in second-order arithmetic

Leonardo C. Pacheco‐Londoño, Keita Yokoyama

Type: Preprint

Publication Date: 2022-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2209.04082

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Determinacy in Second-Order Arithmetic	2023
+	The limits of determinacy in second-order arithmetic	2011	Antonio Montalbán Richard A. Shore
+	The limits of determinacy in second order arithmetic: consistency and complexity strength	2014	Antonio Montalbán Richard A. Shore
+	The many faces of omega-logic	2015	David Fernández–Duque
+	A model of second-order arithmetic satisfying AC but not DC	2018	Sy‐David Friedman Victoria Gitman Vladimir Kanovei
+	A model of second-order arithmetic satisfying AC but not DC	2018	Sy‐David Friedman Victoria Gitman Vladimir Kanovei
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+	Second-order arithmetics	2001	Peter Smith
+	Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics)	1986	令二朗倉田
+ PDF Chat	HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	2022	Leszek Aleksander Kołodziejczyk Katarzyna W. Kowalik Keita Yokoyama
+	Coloring trees in reverse mathematics	2016	Damir D. Dzhafarov Ludovic Patey
+	Coloring trees in reverse mathematics	2016	Damir D. Dzhafarov Ludovic Patey
+ PDF Chat	Axiomatizability of second order arithmetic with ω-rule	1978	Paweł Zbierski
+	How strong is Ramsey's theorem if infinity can be weak?	2020	Leszek Aleksander Kołodziejczyk Katarzyna W. Kowalik Keita Yokoyama
+	Second-order arithmetics	2013	Peter J. Smith
+	ON THE PI-ONE-ONE SEPARATION PRINCIPLE	2007	Antonio Montalb An
+ PDF Chat	THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH	2019	Eric P. Astor Damir D. Dzhafarov Antonio Montalbán Reed Solomon Linda Brown Westrick
+	On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics	2009	C.P. Chong Steffen Lempp Yue Yang
+	Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives	2019	Kentaro Sato
+ PDF Chat	Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics†	2018	Benedict Eastaugh

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors