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 条
  • [21] Enumeration Reducibility and Computable Structure Theory
    Soskova, Alexandra A.
    Soskova, Mariya I.
    [J]. COMPUTABILITY AND COMPLEXITY: ESSAYS DEDICATED TO RODNEY G. DOWNEY ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10010 : 271 - 301
  • [22] Dual Garside structure and reducibility of braids
    Calvez, Matthieu
    [J]. JOURNAL OF ALGEBRA, 2012, 356 (01) : 355 - 373
  • [23] Reducibility of ruthenium in relation with zeolite structure
    Pârvulescu, VI
    Coman, S
    Palade, P
    Macovei, D
    Teodorescu, CM
    Filoti, G
    Molina, R
    Poncelet, G
    Wagner, FE
    [J]. APPLIED SURFACE SCIENCE, 1999, 141 (1-2) : 164 - 176
  • [24] MINIMAL COVERS IN THE WEIHRAUCH DEGREES
    Lempp, Steffen
    Miller, Joseph s.
    Pauly, Arno
    Soskova, Mariya i.
    Valenti, Manlio
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2024,
  • [25] Complete reducibility of torsion free Cn-modules of finite degree
    Britten, D
    Khomenko, O
    Lemire, F
    Mazorchuk, V
    [J]. JOURNAL OF ALGEBRA, 2004, 276 (01) : 129 - 142
  • [26] Joins in the strong Weihrauch degrees
    Dzhafarov, Damir D.
    [J]. MATHEMATICAL RESEARCH LETTERS, 2019, 26 (03) : 749 - 767
  • [27] 1-REDUCIBILITY INSIDE AN M-DEGREE WITH A MAXIMAL SET
    HERRMANN, E
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 1046 - 1056
  • [28] Changes in Browning Degree and Reducibility of Polyphenols during Autoxidation and Enzymatic Oxidation
    Zhou, Xuan
    Iqbal, Aamir
    Li, Jiaxing
    Liu, Chang
    Murtaza, Ayesha
    Xu, Xiaoyun
    Pan, Siyi
    Hu, Wanfeng
    [J]. ANTIOXIDANTS, 2021, 10 (11)
  • [29] Projection operators in the Weihrauch lattice
    Gherardi, Guido
    Marcone, Alberto
    Pauly, Arno
    [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019, 8 (3-4): : 281 - 304
  • [30] STRUCTURE OF DEGREES OF ENUMERATION REDUCIBILITY - PRELIMINARY REPORT
    MOORE, B
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (02): : A329 - A329
12345