Abstract:Continuity is one of the most central notions in mathematics, physics, and computer science. An interesting associated topic is decompositions of continuity, where continuity is shown to be equivalent to the combination of two or more weak continuity notions. In this paper, we study the logical properties of basic theorems about weakly continuous functions, like the supremum principle for the unit interval. We establish that most weak continuity notions are as tame as continuity, i.e. the supremum principle can be proved from the relatively weak arithmetical comprehension axiom only. By contrast, for seven 'wild' weak continuity notions, the associated supremum principle yields rather strong axioms, including Feferman's projection principle, full second-order arithmetic, or Kleene's associated quantifier $(\exists^3)$. Working in Kohlenbach's higher-order Reverse Mathematics, we also obtain elegant equivalences in various cases and obtain similar results for e.g. Riemann integration. We believe these results to be of interest to mainstream mathematics as they cast new light on the distinction of 'ordinary mathematics' versus 'foundations of mathematics/set theory'.

Continuity in Weak Topology: First Order Linear Systems of ODE

Continuity in Weak Topology and Extremal Problems of Eigenvalues of the P-Laplacian

Measure Differential Equations , II . Continuity of Eigenvalues in Measures with Weak ∗ Topology

Dependence of solutions and eigenvalues of measure differential equations on measures

Interior W 1, P Regularity and Hölder Continuity of Weak Solutions to a Class of Divergence Kolmogorov Equations with Discontinuous Coefficients

Continuity of Weak Solutions to an Elliptic Problem on P$$ P $$‐fractional Laplacian

ON THE NUMBER AND COMPLETE CONTINUITY OF WEIGHTED EIGENVALUES OF MEASURE DIFFERENTIAL EQUATIONS

Regularity of Weak Solutions to a Class of Nonlinear Problem

Weak Continuity of Dynamical Systems for the KdV and mKdV Equations

Weak Operator Continuity for Evolutionary Equations

Continuity of Lyapunov exponents for stochastic differential equations

Sometimes tame, sometimes wild: weak continuity

HÖLDER CONTINUITY OF WEAK SOLUTIONS FOR DEGENERATE QUASILINEAR SUBELLIPTIC SYSTEMS WITH DIFFERENT WEIGHTS

Li-Yorke chaos in weak topology of the n-dimensional linear systems

Continuity of weak solutions to an elliptic problem on $p$-fractional Laplacian

Beyond Peano's theorem: a variational look at discontinuous ODE systems

Extremal eigenvalues of measure differential equations with fixed variation

Regularity of solutions to quasilinear infinitely degenerate second order equations

Hölder continuity of weak solutions of a class of linear equations with boundary degeneracy

Dependence of Solutions and Eigenvalues of Third Order Linear Measure Differential Equations on Measures

Regularity of Weak Solutions to a Class of Nonlinear Problem with Non-Standard Growth Conditions