activity
19942025
most citedThe Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma

100 citations · 264 across the 34 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

math.LO2025

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.LO2025

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…