Birkhoff-like sheaf representation for varieties of lattice expansions
Studia Logica 56 (1-2):111 - 131 (1996)
| Abstract | Given a variety we study the existence of a class such that S1 every A can be represented as a global subdirect product with factors in and S2 every non-trivial A is globally indecomposable. We show that the following varieties (and its subvarieties) have a class satisfying properties S1 and S2: p-algebras, distributive double p-algebras of a finite range, semisimple varieties of lattice expansions such that the simple members form a universal class (bounded distributive lattices, De Morgan algebras, etc) and arithmetical varieties in which the finitely subdirectly irreducible algebras form a universal class (f-rings, vector groups, Wajsberg algebras, discriminator varieties, Heyting algebras, etc). As an application we obtain results analogous to that of Nachbin saying that if every chain of prime filters of a bounded distributive lattice has at most length 1, then the lattice is Boolean. | |||||||||
| 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,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHajnal Andréka, Steven Givant & István Németi (1994). The Lattice of Varieties of Representable Relation Algebras. Journal of Symbolic Logic 59 (2):631-661.
Radomír Halaš (2008). The Variety of Lattice Effect Algebras Generated by MV-Algebras and the Horizontal Sum of Two 3-Element Chains. Studia Logica 89 (1):19 - 35.
Barbara Klunder (2000). Varieties of Pseudo-Interior Algebras. Studia Logica 65 (1):113-136.
Francesco Paoli, Matthew Spinks & Robert Veroff (forthcoming). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis.
Guram Bezhanishvili (2000). Varieties of Monadic Heyting Algebras. Part III. Studia Logica 64 (2):215-256.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3).
M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,790 of 551,112 )Recent downloads (6 months)1 ( #63,341 of 551,112 )How can I increase my downloads? |
My notes
Discussion
