DOIAbstract
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of true arithmetic
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of true arithmetic
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 complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both compu...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik ...
We show that the first order theory of the lattice of open sets in somenatural topological spaces is...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
We show that the first order theory of the lattice ℒ (S) of finite dimensional closed subsets of an...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
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 complexity of mathematical problems from two perspectives: Medvedev degrees and r...
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both compu...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik ...
We show that the first order theory of the lattice of open sets in somenatural topological spaces is...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
We show that the first order theory of the lattice ℒ (S) of finite dimensional closed subsets of an...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
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 complexity of mathematical problems from two perspectives: Medvedev degrees and r...
Add to ORKG