Add to ORKGThe paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
We consider some nonprincipal filters of the Medvedev lattice. We prove that the filter generated by...
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...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both compu...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
We consider some nonprincipal filters of the Medvedev lattice. We prove that the filter generated by...
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...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both compu...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...