Some remarks on the algebraic structure of the Medvedev lattice
Journal of Symbolic Logic 55 (2):831-853 (1990)
| Abstract | This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a Heyting algebra. We point out some relations between M and the Dyment lattice and the Mucnik lattice. Some properties of the degrees of enumerability are considered. We give also a result on embedding countable distributive lattices in the Medvedev lattice | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Sergiu Rudeanu & Dan A. Simovici (2006). On the Ranges of Algebraic Functions on Lattices. Studia Logica 84 (3):451 - 468.
Josep Maria Font, Ramon Jansana & Don Pigozzi (2006). On the Closure Properties of the Class of Full G-Models of a Deductive System. Studia Logica 83 (1-3):215 - 278.
K. Adaricheva, R. Mckenzie, E. R. Zenk, M. Mar´ti & J. B. Nation (2006). The Jónsson-Kiefer Property. Studia Logica 83 (1-3):111 - 131.
Sebastiaan A. Terwijn (2008). On the Structure of the Medvedev Lattice. Journal of Symbolic Logic 73 (2):543-558.
Andrea Sorbi (1991). Embedding Brouwer Algebras in the Medvedev Lattice. Notre Dame Journal of Formal Logic 32 (2):266-275.
Josep M. Font & Ventura Verdú (1993). The Lattice of Distributive Closure Operators Over an Algebra. Studia Logica 52 (1):1 - 13.
K. V. Adaricheva & V. A. Gorbunov (2004). On the Structure of Lattices of Subquasivarieties of Congruence-Noetherian Quasivarieties. Studia Logica 78 (1-2):35 - 44.
Sebastiaan A. Terwijn (2007). Kripke Models, Distributive Lattices, and Medvedev Degrees. Studia Logica 85 (3):319 - 332.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,119 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
