3 papers
math.LO2026
Computability of a Whitney Extension
Andrea Brun, Guido Gherardi, Alberto Marcone
We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if is a closed set represented s…
math.LO2026
Isometry groups of Polish ultrametric spaces
Riccardo Camerlo, Alberto Marcone, Luca Motto Ros
We solve a long-standing open problem, formulated by Krasner in the 1950's, in the context of Polish (i.e. separable complete) ultrametric spaces by providing a characterization of…
math.LO2024
The Weihrauch lattice at the level of : the Cantor-Bendixson theorem
Vittorio Cipriani, Alberto Marcone, Manlio Valenti
This paper continues the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. In particular, we consider problems related to…