Splittings and disjunctions in reverse mathematics

DOI10.1215/00294527-2019-0032zbMath1462.03009arXiv1805.11342OpenAlexW2995569045MaRDI QIDQ2176407

Sam Sanders

Publication date: 4 May 2020

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

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

zbMATH Keywords

splittingsreverse mathematicsdisjunctionsconjunctionshigher-order arithmeticMUC

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 ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ Nets and reverse mathematics ⋮ Splittings and robustness for the Heine-Borel theorem

Cites Work

• Scenes from the history of real functions. Translated from the Russian by Roger Cooke
• Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
• Postmodern analysis
• Real variable contributions of G. C. Young and W. H. Young
• Some nonstandard equivalences in reverse mathematics
• On Brouwer's continuity principle
• 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
• The strength of compactness in computability theory and nonstandard analysis
• \(\mathsf{WKL}_0\) and induction principles in model theory
• Periodic points and subsystems of second-order arithmetic
• A Modern Theory of Random Variation
• Definability aspects of the Denjoy integral
• 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
• Higher-Order Computability
• Effective discontinuity and a characterisation of the superjump
• The Use of Tagged Partitions in Elementary Real Analysis
• The Infinite Dimensional Henstock Integral and Problems of Black-Scholes Expectation
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• On the mathematical and foundational significance of the uncountable
• Representations of Reals in Reverse Mathematics
• Analysis I
• 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