Embedding Brouwer algebras in the Medvedev lattice

Notre Dame Journal of Formal Logic 32 (2):266-275 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635751

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Some remarks on the algebraic structure of the Medvedev lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
On the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
The lattice of varieties of representable relation algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.
Interpretations into monadic algebras.Renato A. Lewin - 1987 - Studia Logica 46 (4):329 - 342.
Embedding finite lattices into the ideals of computably enumerable Turing degrees.William C. Calhoun & Manuel Lerman - 2001 - Journal of Symbolic Logic 66 (4):1791-1802.
Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.

Analytics

Added to PP
2010-08-24

Downloads
29 (#548,607)

6 months
12 (#210,071)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A survey of Mučnik and Medvedev degrees.Peter G. Hinman - 2012 - Bulletin of Symbolic Logic 18 (2):161-229.
The Medvedev lattice of computably closed sets.Sebastiaan A. Terwijn - 2006 - Archive for Mathematical Logic 45 (2):179-190.
Intermediate logics and factors of the Medvedev lattice.Andrea Sorbi & Sebastiaan A. Terwijn - 2008 - Annals of Pure and Applied Logic 155 (2):69-85.
Weihrauch Goes Brouwerian.Vasco Brattka & Guido Gherardi - 2020 - Journal of Symbolic Logic 85 (4):1614-1653.
Characterizing the Join-Irreducible Medvedev Degrees.Paul Shafer - 2011 - Notre Dame Journal of Formal Logic 52 (1):21-38.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references