Topological aspects of the Medvedev lattice

被引:0
|
作者
Andrew E. M. Lewis
Richard A. Shore
Andrea Sorbi
机构
[1] University of Leeds,Department of Pure Mathematics
[2] Cornell University,Department of Mathematics
[3] University of Siena,Department of Mathematics and Computer Science “R. Magari”
来源
关键词
Medvedev reducibility; Baire space; Cantor space; 03D30;
D O I
暂无
中图分类号
学科分类号
摘要
We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated by these degrees; the prime ideal generated by the dense degrees and its complement, a prime filter; the filter generated by the nonzero closed degrees and the filter generated by the nonzero discrete degrees. We give a complete picture of the relationships of inclusion holding between these sublattices, these filters, and this ideal. We show that the sublattice of the closed Medvedev degrees is not a Brouwer algebra. We investigate the dense degrees of mass problems that are closed under Turing equivalence, and we prove that the dense degrees form an automorphism base for the Medvedev lattice. The results hold for both the Medvedev lattice on the Baire space and the Medvedev lattice on the Cantor space.
引用
收藏
页码:319 / 340
页数:21
相关论文
共 50 条
  • [1] Topological aspects of the Medvedev lattice
    Lewis, Andrew E. M.
    Shore, Richard A.
    Sorbi, Andrea
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (3-4): : 319 - 340
  • [2] On the structure of the Medvedev lattice
    Terwijn, Sebastiaan A.
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (02) : 543 - 558
  • [3] PROPERTIES OF MEDVEDEV LATTICE
    DYMENT, EZ
    [J]. MATHEMATICS OF THE USSR-SBORNIK, 1976, 30 (03): : 321 - 340
  • [4] Topological aspects of fermions on a honeycomb lattice
    Chakrabarti, Dipankar
    Hands, Simon
    Rago, Antonio
    [J]. JOURNAL OF HIGH ENERGY PHYSICS, 2009, (06):
  • [5] A NOTE ON CARDINALITY OF MEDVEDEV LATTICE
    PLATEK, RA
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 25 (04) : 917 - &
  • [6] Topological Aspects of Dense Matter: Lattice Studies
    Lombardo, Maria Paola
    [J]. UNIVERSE, 2021, 7 (09)
  • [7] Density of the Medvedev lattice of Π01 classes
    Cenzer, D
    Hinman, PG
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (06) : 583 - 600
  • [8] SOME QUOTIENT LATTICES OF THE MEDVEDEV LATTICE
    SORBI, A
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 167 - 182
  • [9] Density of the Medvedev lattice of Π01 classes
    Douglas Cenzer
    Peter G. Hinman
    [J]. Archive for Mathematical Logic, 2003, 42 : 583 - 600
  • [10] The Medvedev lattice of computably closed sets
    Sebastiaan A. Terwijn
    [J]. Archive for Mathematical Logic, 2006, 45 : 179 - 190