Reverse mathematics of topology: dimension, paracompactness, and splittings

DOI10.1215/00294527-2020-0021zbMath1486.03023arXiv1808.08785OpenAlexW3118047554MaRDI QIDQ1981984

Sam Sanders

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

splittingstopologyhigher-order reverse mathematics

Mathematics Subject Classification ID

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

Related Items (6)

ON THE UNCOUNTABILITY OF ⋮ Between Turing and Kleene ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ On the mathematical and foundational significance of the uncountable ⋮ Splittings and robustness for the Heine-Borel theorem

Cites Work

• 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
• Scenes from the history of real functions. Translated from the Russian by Roger Cooke
• A history of algebraic and differential topology 1900--1960
• Constructivism in mathematics. An introduction. Volume II
• Disasters in topology without the axiom of choice
• Splittings and disjunctions in reverse mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Pincherle's theorem in reverse mathematics and computability theory
• Une généralisation des espaces compacts
• A Modern Theory of Random Variation
• Large Cardinals from Determinacy
• Excursions in the History of Mathematics
• The limits of determinacy in second-order arithmetic
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• EIGHTY YEARS OF FOUNDATIONAL STUDIES
• REVERSE MATHEMATICS OF MF SPACES
• Shorter Notes: Pseudocompact Metacompact Spaces are Compact
• On Stone’s theorem and the Axiom of Choice
• The Infinite Dimensional Henstock Integral and Problems of Black-Scholes Expectation
• Open sets in computability theory and reverse mathematics
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• On the mathematical and foundational significance of the uncountable
• Reverse Mathematics and Π¹₂ Comprehension
• Some elementary results in intuitionistic model theory
• Paracompactness and product spaces

This page was built for publication: Reverse mathematics of topology: dimension, paracompactness, and splittings