A model of second-order arithmetic satisfying AC but not DC

Sy‐David Friedman, Victoria Gitman, Vladimir Kanovei

Type: Preprint

Publication Date: 2018-08-14

Citations: 1

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	A model of second-order arithmetic satisfying AC but not DC	2018	Sy‐David Friedman Victoria Gitman Vladimir Kanovei
+ PDF Chat	A model of second-order arithmetic satisfying AC but not DC	2018	Sy‐David Friedman Victoria Gitman Vladimir Kanovei
+	Determinacy and reflection principles in second-order arithmetic	2022	Leonardo C. Pacheco‐Londoño Keita Yokoyama
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+	PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC	2025	Victoria Gitman
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+	The Recursively Mahlo Property in Second Order Arithmetic	1996	Michael Rathjen
+ PDF Chat	Axiomatizability of second order arithmetic with ω-rule	1978	Paweł Zbierski
+	Class forcing and second-order arithmetic	2017	Regula Krapf
+	Second order arithmetic as the model companion of set theory	2022	Giorgio Venturi Matteo Viale
+	Second-order arithmetic and the consistency of first-order theories	1982	В. И. Степанов
+	Second-order arithmetics	2013	Peter J. Smith
+	ON THE PI-ONE-ONE SEPARATION PRINCIPLE	2007	Antonio Montalb An
+	Second-order arithmetics	2001	Peter Smith
+	Determinacy in Second-Order Arithmetic	2023
+	The many faces of omega-logic	2015	David Fernández–Duque
+	How strong is Ramsey's theorem if infinity can be weak?	2020	Leszek Aleksander Kołodziejczyk Katarzyna W. Kowalik Keita Yokoyama
+	Large model constructions for second-order ZF in dependent type theory	2017	Dominik Kirst Gert Smolka
+	A Defense of Second-Order Logic	2010	Otávio Bueno
+ PDF Chat	A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA	2023	Vladimir Kanovei Vassily Lyubetsky

Works That Cite This (1)

Action	Title	Year	Authors
+ PDF Chat	DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS	2019	Vladimir Kanovei Vassily Lyubetsky

Works Cited by This (2)

Action	Title	Year	Authors
+ PDF Chat	What is the theory without power set?	2016	Victoria Gitman Joel David Hamkins Thomas A. Johnstone
+ PDF Chat	A minimal model for ¬𝐶𝐻: iteration of Jensen’s reals	1984	Uri Abraham