Uniform versions of some axioms of second order arithmetic
From MaRDI portal
Publication:3159415
DOI10.1002/malq.200310122zbMath1063.03045MaRDI QIDQ3159415
Nobuyuki Sakamoto, Takeshi Yamazaki
Publication date: 16 February 2005
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310122
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
Unnamed Item, Nets and reverse mathematics, Countable sets versus sets that are countable in reverse mathematics, ON THE UNCOUNTABILITY OF, COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, On the mathematical and foundational significance of the uncountable, Classical provability of uniform versions and intuitionistic provability, Banach’s theorem in higher-order reverse mathematics, The Dirac delta function in two settings of reverse mathematics, Reverse mathematics and parameter-free transfer, Reverse mathematics of topology: dimension, paracompactness, and splittings, Reverse formalism 16, Reverse mathematics of the uncountability of \(\mathbb{R}\), Splittings and robustness for the Heine-Borel theorem, Representations and the foundations of mathematics, Splittings and disjunctions in reverse mathematics, Pincherle's theorem in reverse mathematics and computability theory, The strength of compactness in computability theory and nonstandard analysis, Lifting proofs from countable to uncountable mathematics, Effective Choice and Boundedness Principles in Computable Analysis, Open Questions in Reverse Mathematics, TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS