Joins of minimal quasivarieties

Studia Logica 54 (3):371 - 389 (1995)
  Copy   BIBTEX

Abstract

LetL(K) denote the lattice (ordered by inclusion) of quasivarieties contained in a quasivarietyK and letD 2 denote the variety of distributive (0, 1)-lattices with 2 additional nullary operations. In the present paperL(D 2) is described. As a consequence, ifM+N stands for the lattice join of the quasivarietiesM andN, then minimal quasivarietiesV 0,V 1, andV 2 are given each of which is generated by a 2-element algebra and such that the latticeL(V 0+V1), though infinite, still admits an easy and nice description (see Figure 2) while the latticeL(V 0+V1+V2), because of its intricate inner structure, does not. In particular, it is shown thatL(V 0+V1+V2) contains as a sublattice the ideal lattice of a free lattice with free generators. Each of the quasivarietiesV 0,V 1, andV 2 is generated by a 2-element algebra inD 2.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Similar books and articles

Categorical Quasivarieties via Morita Equivalence.Keith A. Kearnes - 2000 - Journal of Symbolic Logic 65 (2):839-856.
Komori Identities In Algebraic Logic.Willem Blok & Silvia La Falce - 2000 - Reports on Mathematical Logic:79-106.
Quasivarieties for bci-logic.Jacek K. Kabzinski - 1983 - Bulletin of the Section of Logic 12 (3):130-132.

Analytics

Added to PP
2009-01-28

Downloads
31 (#442,895)

6 months
2 (#658,848)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references