CHAINS AND ANTICHAINS IN THE WEIHRAUCH LATTICE

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.

Authors

Publication Details

Journal
Journal of Symbolic Logic
Published
2026-05-12
DOI
https://doi.org/10.1017/jsl.2026.10214
Primary Topic
Nonlinear Photonic Systems
Type
preprint
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

CHAINS AND ANTICHAINS IN THE WEIHRAUCH LATTICE

Steffen Lempp, Alberto Marcone, Manlio Valenti
Journal of Symbolic Logic
Nonlinear Photonic Systems
preprint

CHAINS AND ANTICHAINS IN THE WEIHRAUCH LATTICE

Steffen Lempp, Alberto Marcone, Manlio Valenti
preprint en

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.

Journal of Symbolic Logic
University of Wisconsin-Madison, European Commission, Università degli Studi di Udine
Openalex Percentile: Top 99%
Nonlinear Photonic Systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.