This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a Heyting algebra. We point out some relations between M and the Dyment lattice and the Mucnik lattice. Some properties of the degrees of enumerability are considered. We give also a result on embedding countable distributive lattices in the Medvedev lattice
Abstract Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non...
Let M be the Medvedev lattice: this paper investigates some filters and ideals (most of them alread...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we c...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
We survey some open problems in the enumeration degrees. The problems fall into the following three ...
This thesis analyzes the structure of the Medvedev lattice of non-empty Π 0 1 classes in 2 ω from th...
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
Abstract Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non...
Let M be the Medvedev lattice: this paper investigates some filters and ideals (most of them alread...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we c...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
We survey some open problems in the enumeration degrees. The problems fall into the following three ...
This thesis analyzes the structure of the Medvedev lattice of non-empty Π 0 1 classes in 2 ω from th...
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
Abstract Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non...
Let M be the Medvedev lattice: this paper investigates some filters and ideals (most of them alread...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
DOI
Add to ORKG