The finite intervals of the Muchnik lattice

DOI10.1090/S0002-9947-2011-05384-5zbMath1247.03081arXivmath/0606728OpenAlexW1965275942MaRDI QIDQ5390250

Sebastiaan A. Terwijn

Publication date: 27 April 2012

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0606728

zbMATH Keywords

finite distributive latticesTuring degreesMuchnik latticeMedvedev latticeintervals in lattices

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28)

Related Items

Intuitionistic logic and Muchnik degrees, Intervals of the Muchnik lattice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing the join-irreducible Medvedev degrees
• Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
• Long chains of Hausdorff topological group topologies
• Intermediate logics and factors of the Medvedev lattice
• Kripke models, distributive lattices, and Medvedev degrees
• Classical recursion theory. The theory of functions and sets of natural numbers
• Embedding Brouwer algebra in the Medvedev lattice
• Constructive logic and the Medvedev lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• On the structure of the Medvedev lattice
• Almost-disjoint sets the dense set problem and the partition calculus
• Countable initial segments of the degrees of unsolvability
• Shorter Notes: A Note on the Cardinality of the Medvedev Lattice