The degree structure of Weihrauch reducibility

被引：0
|
作者：
机构：
[1] Higuchi, Kojiro
[2] Pauly, Arno
来源：
Higuchi, K. (sa7m24@math.tohoku.ac.jp) | 1600年 / Logical Methods in Computer Science卷 / 09期
关键词：
Computable analysis - Degree structure - Embeddings - Heyting algebras - Medvedev degree - Superintuitionistic logic - Weihrauch degree;
D O I：
10.2168/lmcs-9(2:2)2013
中图分类号：
学科分类号：
摘要：
We answer a question by Vasco Brattka and Guido Gherardi by proving that the Weihrauch lattice is not a Brouwer algebra. The computable Weihrauch lattice is also not a Heyting algebra, but the continuous Weihrauch lattice is. We further investigate embeddings of the Medvedev degrees into the Weihrauch degrees. © K. Higuchi and A. Pauly.
引用
收藏
相关论文
共 50 条
12345