Chains and antichains in the Weihrauch lattice

Steffen Lempp,Alberto Marcone,Manlio Valenti
2024-11-12
Abstract: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 an upper bound and prove that there are no cofinal chains (of any order type) in the Weihrauch degrees. Furthermore, we show that the existence of coinitial sequences of non-zero degrees is equivalent to $\mathrm{CH}$. Finally, we explore the extendibility of antichains, providing some necessary conditions for maximality.
Logic
What problem does this paper attempt to address?