Uniform versions of some axioms of second order arithmetic

DOI10.1002/malq.200310122zbMath1063.03045OpenAlexW2045199616MaRDI 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 mathematicssecond-order arithmetichigher-order arithmeticuniform weak König's lemma

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (22)

Countable sets versus sets that are countable in reverse mathematics ⋮ Representations and the foundations of mathematics ⋮ TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS ⋮ ON THE UNCOUNTABILITY OF ⋮ Reverse mathematics and parameter-free transfer ⋮ Open Questions in Reverse Mathematics ⋮ Splittings and disjunctions in reverse mathematics ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Banach’s theorem in higher-order reverse mathematics ⋮ Unnamed Item ⋮ The Dirac delta function in two settings of reverse mathematics ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Effective Choice and Boundedness Principles in Computable Analysis ⋮ Reverse formalism 16 ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ On the mathematical and foundational significance of the uncountable ⋮ Nets and reverse mathematics ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ Classical provability of uniform versions and intuitionistic provability ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\) ⋮ Splittings and robustness for the Heine-Borel theorem

This page was built for publication: Uniform versions of some axioms of second order arithmetic