Chains and antichains in the Weihrauch lattice
Logic
2026-05-07 v2
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 . Finally, we explore the extendibility of antichains, providing some necessary conditions for maximality.
Keywords
Cite
@article{arxiv.2411.07792,
title = {Chains and antichains in the Weihrauch lattice},
author = {Steffen Lempp and Alberto Marcone and Manlio Valenti},
journal= {arXiv preprint arXiv:2411.07792},
year = {2026}
}