We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice
We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik ...
Abstract Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
In this paper we study a model of intuitionistic higher-order logic which we call the Muchnik topos....
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propo...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
AbstractWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study t...
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...
The study of mass problems and Muchnik degrees was originally motivated by Kolmogorov\u27s non-rigor...
This paper was written in order to celebrate the centennial of the Tohoku Math-ematical Journal. It ...
We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik ...
Abstract Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
In this paper we study a model of intuitionistic higher-order logic which we call the Muchnik topos....
The paper provides a survey on what is known about the Medvedev lattice and the Muchnik lattice
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propo...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
AbstractWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study t...
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...
The study of mass problems and Muchnik degrees was originally motivated by Kolmogorov\u27s non-rigor...
This paper was written in order to celebrate the centennial of the Tohoku Math-ematical Journal. It ...
We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik ...
Abstract Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
DOI
Add to ORKG