Reverse mathematics and properties of finite character

Damir D. Dzhafarov, Carl Mummert

Type: Article

Publication Date: 2012-02-22

Citations: 3

DOI: https://doi.org/10.1016/j.apal.2012.01.007

View Publication

Locations

Annals of Pure and Applied Logic - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Reverse mathematics and properties of finite character	2011	Damir D. Dzhafarov Carl Mummert
+	Reverse mathematics and properties of finite character	2011	Damir D. Dzhafarov Carl Mummert
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+ PDF Chat	Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics†	2018	Benedict Eastaugh
+	The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis	2020	Dag Normann Sam Sanders
+ PDF Chat	The Axiom of Choice for Finite Sets	1960	R. L. Blair M. L. Tomber
+	The Foundations of Mathematics in the Theory of Sets	2001	John P. Mayberry
+	Combinatorics and the axiom of choice for finite sets	2000	Carlos H. Montenegro
+	The art of ordinal analysis	2007	Michael Rathjen
+	Determinacy and reflection principles in second-order arithmetic	2022	Leonardo C. Pacheco‐Londoño Keita Yokoyama
+	Reverse mathematics, countable and uncountable: a computational approach	2013	Richard A. Shore
+	Set Theory	2013	Pavel Pudlák
+	The limits of determinacy in second order arithmetic: consistency and complexity strength	2014	Antonio Montalbán Richard A. Shore
+	Second Order Logic, Set Theory and Foundations of Mathematics	2012	Jouko Väänánen
+ PDF Chat	The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis	2020	Dag Normann Sam Sanders
+	The Natural Numbers	2016	Daniel W. Cunningham
+	Infinite Computations in Algorithmic Randomness and Reverse Mathematics	2019	Paul-Elliot Anglès d’Auriac
+	Countable strict reverse mathematics	2022	Ilnur I. Batyrshin
+	The axiom of choice for countable sets.	1972	Roger Mansfield

Works That Cite This (3)

Action	Title	Year	Authors
+ PDF Chat	On the strength of the finite intersection principle	2012	Damir D. Dzhafarov Carl Mummert
+	Any FIP real computes a 1-generic	2015	Peter Cholak Rodney G. Downey Greg Igusa
+	Any FIP real computes a 1-generic	2016	Peter Cholak Rodney G. Downey Greg Igusa

Works Cited by This (1)

Action	Title	Year	Authors
+	REVERSE MATHEMATICS OF MF SPACES	2006	Carl Mummert