Abstract:Continuous functions on the unit interval are relatively tame from the logical and computational point of view. A similar behaviour is exhibited by continuous functions on compact metric spaces equipped with a countable dense subset. It is then a natural question what happens if we omit the latter 'extra data', i.e. work with 'unrepresented' compact metric spaces. In this paper, we study basic third-order statements about continuous functions on such unrepresented compact metric spaces in Kohlenbach's higher-order Reverse Mathematics. We establish that some (very specific) statements are classified in the (second-order) Big Five of Reverse Mathematics, while most variations/generalisations are not provable from the latter, and much stronger systems. Thus, continuous functions on unrepresented metric spaces are 'wild', though 'more tame' than (slightly) discontinuous functions on the reals.

A note on the continuity of minors in grand Lebesgue spaces

Module of continuity for the functions belonging to the Sobolev-Grand Lebesgue Spaces

Hölder continuity of the convex minorant of a Lévy process

Continuity of s-minimal functions

A Note on BV Continuity of Discrete Maximal Operators

On the modulus of continuity of solutions to nonlocal parabolic equations

Hölder continuity of functions in the fractional Sobolev spaces: 1-dimensional case

CONTINUITY OF THE MULTILINEAR MAXIMAL COMMUTATORS IN SOBOLEV SPACES

A note about extension of functions belonging to Sobolev-Grand Lebesgue Spaces

On the Local Everywhere Hölder Continuity of the Minima of a Class of Vectorial Integral Functionals of the Calculus of Variations

Continuity of the solution map of some active scalar equations in Hölder and Zygmund spaces

Hölder continuity and laminarity of the Green currents for Hénon-like maps

Continuity of extensions of Lipschitz maps and of monotone maps

A Note on a Generalized Two Component Camassa-Holm System in Sobolev Spaces

Manifold-constrained free discontinuity problems and Sobolev approximation

A note on continuous functions on metric spaces

A note on boundedness of operators in Grand Grand Morrey spaces

A simple example of the weak discontinuity of $f\mapsto \int \det \nabla f$

On Sobolev spaces of bounded subanalytic manifolds

Conservation law of harmonic mappings in supercritical dimensions