Representations of Reals in Reverse Mathematics
From MaRDI portal
Publication:5440172
DOI10.4064/ba55-4-2zbMath1138.03012OpenAlexW2089902858MaRDI QIDQ5440172
Publication date: 1 February 2008
Published in: Bulletin of the Polish Academy of Sciences Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/ba55-4-2
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Reverse mathematics and marriage problems with finitely many solutions, Splittings and disjunctions in reverse mathematics, To be or not to be constructive, that is not the question, Classical consequences of continuous choice principles from intuitionistic analysis, On the strength of marriage theorems and uniformity, On uniform relationships between combinatorial problems, Weihrauch and constructive reducibility between existence statements, Parallelizations in Weihrauch reducibility and constructive reverse mathematics, THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE