We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we characterize the finite Brouwer algebras that are embeddable in the Medvedev lattice
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
Abstract:- We introduced the structure of Brouwerian D-algebra in order to obtain the algebraic coun...
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and ...
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we c...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propo...
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...
Abstract. We give an axiomatisation of the variety of Brouwer-Zadeh lattices, suitable for applicati...
AbstractWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study t...
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
We answer a question by Vasco Brattka and Guido Gherardi by proving that theWeihrauch-lattice is not...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
Abstract:- We introduced the structure of Brouwerian D-algebra in order to obtain the algebraic coun...
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and ...
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we c...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propo...
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...
Abstract. We give an axiomatisation of the variety of Brouwer-Zadeh lattices, suitable for applicati...
AbstractWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study t...
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
We answer a question by Vasco Brattka and Guido Gherardi by proving that theWeihrauch-lattice is not...
Archive for Mathematical Logic Let Pw and PM be the countable distributive lattices of Muchnik and M...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
Abstract:- We introduced the structure of Brouwerian D-algebra in order to obtain the algebraic coun...
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and ...
DOI
Add to ORKG