Abstract:The program Reverse Mathematics in the foundations of mathematics seeks to identify the minimal axioms required to prove theorems of ordinary mathematics. One always assumes the base theory, a logical system embodying computable mathematics. As it turns out, many (most?) theorems are either provable in said base theory, or equivalent to one of four logical systems, collectively called the Big Five. This paper provides an overview of two recent extensions of the Big Five, working in Kohlenbach's higher-order framework. On one hand, we obtain a large number of equivalences between the second-order Big Five and third-order theorems of real analysis dealing with possibly discontinuous functions. On the other hand, we identify four new 'Big' systems, i.e. boasting many equivalences over the base theory, namely the uncountability of the reals, the Jordan decomposition theorem, the Baire category theorem, and Tao's pigeon hole principle for the Lebesgue measure. We discuss a connection to hyperarithmetical analysis, completing the picture.

Extension Real Numbers and Extension Complex Numbers

Absolute Continuity of Vitali–Hahn–Saks Measure Convergence Theorems

On the Extension of the Set Valued Measures and Fuzzy Number Measures in Banach Spaces

The Infinite Decimal Expansion of the Real Numbers Defined by the Cauchy Sequences of Rational Numbers

Extension formulae on almost complex manifolds

Extensions of Bicomplex Hypergeometric Functions and Riemann–Liouville Fractional Calculus in Bicomplex Numbers

On the Extension of the Fuzzy Number Measures in Banach Spaces: Part I. Representation of the Fuzzy Number Measures

The Ideal Extension in Quantales

On two recent extensions of the Big Five of Reverse Mathematics

Quasiconformal Extension Property and the Universal Teichmuller Space by Pre-Schwarzian Derivative

Further Extending Results of Some Classes of Complex Difference and Functional Equations

EXTENSION OF SEQUENCE OPERATIONS AND ITS NUMERICAL CHARACTERISTICS

The extension of Elementary Numerical Operator Theory: Simply Generic, Right-Stochastically Non-Gaussian, Sub-Canonically H-Positive Definite Monoids

On The Transcendence Of Certain Real Numbers

On the complex valued metric-like spaces

Extensions of extremal Kähler submanifolds of complex projective spaces

Extensional constructive real analysis via locators

On some conjectural series containing harmonic numbers of 3-order

Excellent Extensions and Gorenstein Homological Dimensions

On complex extension of the Liouville map

Boundary Extensions for mappings between metric spaces