On the mathematical and foundational significance of the uncountable

DOI10.1142/S0219061319500016zbMath1484.03018arXiv1711.08939OpenAlexW3103808306WikidataQ60019661 ScholiaQ60019661MaRDI QIDQ5223120

Sam Sanders, Dag Normann

Publication date: 8 July 2019

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.08939

zbMATH Keywords

reverse mathematicsgauge integralhigher-order arithmetichigher-order computability theoryGandy's superjump

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Higher-type and set recursion theory (03D65)

Related Items

Countable sets versus sets that are countable in reverse mathematics, Representations and the foundations of mathematics, ON THE UNCOUNTABILITY OF, Betwixt Turing and Kleene, Between Turing and Kleene, Cousin’s lemma in second-order arithmetic, Splittings and disjunctions in reverse mathematics, Lifting proofs from countable to uncountable mathematics, On the computational properties of the uncountability of the real numbers, A note on non-classical nonstandard arithmetic, Reverse mathematics of topology: dimension, paracompactness, and splittings, COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, Pincherle's theorem in reverse mathematics and computability theory, Nets and reverse mathematics, Measure-theoretic uniformity and the Suslin functional, The strength of compactness in computability theory and nonstandard analysis, Reverse mathematics of the uncountability of \(\mathbb{R}\), Splittings and robustness for the Heine-Borel theorem

Cites Work

• Scenes from the history of real functions. Translated from the Russian by Roger Cooke
• Ordinal notations based on a weakly Mahlo cardinal
• Harvey Friedman's research on the foundations of mathematics
• Constructivism in mathematics. An introduction. Volume II
• Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
• Real variable contributions of G. C. Young and W. H. Young
• Functionals of type 3 as realisers of classical theorems in analysis
• Metastability and higher-order computability
• Reverse mathematics of topology: dimension, paracompactness, and splittings
• The strength of compactness in computability theory and nonstandard analysis
• Foundations of geometry (Festschrift 1899). Edited and commented by Klaus Volkert
• A Modern Theory of Random Variation
• Excursions in the History of Mathematics
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• REVERSE MATHEMATICS OF MF SPACES
• Higher-Order Computability
• Effective discontinuity and a characterisation of the superjump
• Return to the Riemann Integral
• The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis
• The Recursively Mahlo Property in Second Order Arithmetic
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• Systems of predicative analysis
• Rethinking the Elementary Real Analysis Course
• Reverse Mathematics and Π¹₂ Comprehension
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item