The finite intervals of the Muchnik lattice
From MaRDI portal
Publication:5390250
DOI10.1090/S0002-9947-2011-05384-5zbMath1247.03081arXivmath/0606728MaRDI QIDQ5390250
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
finite distributive lattices; Turing degrees; Muchnik lattice; Medvedev lattice; intervals in lattices
06D05: Structure and representation theory of distributive lattices
03D30: Other degrees and reducibilities in computability and recursion theory
03D28: Other Turing degree structures
Related Items
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