Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Reverse mathematics and dimension of posets
Alberto Marcone, Andrea Volpi
Order dimension theory measures the complexity of partially ordered sets by quantifying how far they are from being linearly ordered. In this paper we study classical bounding resu…
math.LO2024
Chains and antichains in the Weihrauch lattice
Steffen Lempp, Alberto Marcone, Manlio Valenti
We study the existence and the distribution of "long" chains in the Weihrauch degrees, mostly focusing on chains with uncountable cofinality. We characterize when such chains have…