Splittings and disjunctions in reverse mathematics
From MaRDI portal
Publication:2176407
Abstract: Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, i.e. non-set-theoretic, mathematics. As suggested by the title, this paper deals with two (relatively rare) RM-phenomena, namely splittings and disjunctions. As to splittings, there are some examples in RM of theorems such that , i.e. can be split into two independent (fairly natural) parts and . As to disjunctions, there are (very few) examples in RM of theorems such that , i.e. can be written as the disjunction of two independent (fairly natural) parts and . By contrast, we show in this paper that there is a plethora of (natural) splittings and disjunctions in Kohlenbach's higher-order RM. Finally, we discuss the role of these results in the grand scheme of things.
Recommendations
- Equivalents of the (weak) fan theorem
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Using Ramsey's theorem once
- Uniform versions of some axioms of second order arithmetic
- A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\)
- Reverse mathematics, trichotomy and dichotomy
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics
- \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
- scientific article; zbMATH DE number 2247263
- Reverse mathematics and completeness theorems for intuitionistic logic
Cites work
- scientific article; zbMATH DE number 3150886 (Why is no real title available?)
- scientific article; zbMATH DE number 3873291 (Why is no real title available?)
- scientific article; zbMATH DE number 3924748 (Why is no real title available?)
- scientific article; zbMATH DE number 4010839 (Why is no real title available?)
- scientific article; zbMATH DE number 3687380 (Why is no real title available?)
- scientific article; zbMATH DE number 3777779 (Why is no real title available?)
- scientific article; zbMATH DE number 41088 (Why is no real title available?)
- scientific article; zbMATH DE number 3480894 (Why is no real title available?)
- scientific article; zbMATH DE number 3484309 (Why is no real title available?)
- scientific article; zbMATH DE number 3485716 (Why is no real title available?)
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 3539473 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 1477074 (Why is no real title available?)
- scientific article; zbMATH DE number 1549895 (Why is no real title available?)
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 2212008 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- A garden of integrals
- A modern theory of random variation. With applications in stochastic calculus, financial mathematics, and Feynman integration
- Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
- An introduction to measure theory
- Analysis I
- Computability theory, nonstandard analysis, and their connections
- Definability aspects of the Denjoy integral
- EIGHTY YEARS OF FOUNDATIONAL STUDIES
- Effective discontinuity and a characterisation of the superjump
- Excursions in the history of mathematics
- Higher-order computability
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On Brouwer's continuity principle
- On the mathematical and foundational significance of the uncountable
- Open questions in reverse mathematics
- Periodic points and subsystems of second-order arithmetic
- Pincherle's theorem in reverse mathematics and computability theory
- Postmodern analysis
- Real variable contributions of G. C. Young and W. H. Young
- Representations of Reals in Reverse Mathematics
- Reverse mathematics. Proofs from the inside out
- Scenes from the history of real functions. Translated from the Russian by Roger Cooke
- Some nonstandard equivalences in reverse mathematics
- Subsystems of second order arithmetic
- The Gödel hierarchy and reverse mathematics
- The Infinite Dimensional Henstock Integral and Problems of Black-Scholes Expectation
- The Use of Tagged Partitions in Elementary Real Analysis
- The limits of determinacy in second-order arithmetic
- The strength of compactness in computability theory and nonstandard analysis
- Uniform versions of some axioms of second order arithmetic
- \(\mathsf{WKL}_0\) and induction principles in model theory
Cited in
(9)- Connecting real and hyperarithmetical analysis
- Countable sets versus sets that are countable in reverse mathematics
- Splittings and robustness for the Heine-Borel theorem
- Representations and the foundations of mathematics
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Pincherle's theorem in reverse mathematics and computability theory
- The Galvin-Prikry theorem and set existence axioms
- Nets and reverse mathematics
- Lifting proofs from countable to uncountable mathematics
This page was built for publication: Splittings and disjunctions in reverse mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176407)
