Uniform versions of some axioms of second order arithmetic

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

zbMATH Keywords

reverse mathematics; second-order arithmetic; higher-order arithmetic; uniform weak König's lemma

Mathematics Subject Classification ID

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