100 citations · 264 across the 34 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021★ 2 cited
Effective aspects of Hausdorff and Fourier dimension
Alberto Marcone, Manlio Valenti
In this paper, we study Hausdorff and Fourier dimension from the point of view of effective descriptive set theory and Type-2 Theory of Effectivity. Working in the hyperspace $\mat…
math.LO2021★ 3 cited
(Extra)ordinary equivalences with the ascending/descending sequence principle
Marta Fiori-Carones, Alberto Marcone, Paul Shafer +1
We analyze the axiomatic strength of the following theorem due to Rival and Sands in the style of reverse mathematics. "Every infinite partial order of finite width contains an…