Weihrauch 格中的链与反链
逻辑
2026-05-07 v2
摘要
我们研究 Weihrauch 度中“长”链的存在性与分布，主要关注余终数不可数的链。我们刻画了此类链具有上界的条件，并证明 Weihrauch 度中不存在共尾链（任何序类型）。此外，我们证明非零度的共初序列的存在性等价于 。最后，我们探讨反链的可扩展性，给出了极大性的若干必要条件。
关键词
引用
@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}
}