𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Distributive lattices with a dual homomorphic operation. II

✍ Scribed by Alasdair Urquhart

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
910 KB
Volume
40
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

An Ockham lattice is defined to be a distributive lattice with 0 and 1 which is equipped with a dual homomorphie operation. In this paper we prove:

(1) The lattice of all equational classes of Oekham lattices is isomorphic to a lattice oi easily described first-order theories and is uncountable, (2) every such equational class is generated by its finite members. In the proof of (2) a eharacterizatJoa of orderings of co wi~h respect to which the successor function is decreasing is given.

πŸ“œ SIMILAR VOLUMES

Distributive Lattices with a Negation Op
Distributive Lattices with a Negation Operator
✍ Sergio Arturo Celani πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 736 KB

In this note we introduce and study algebras ( L , V, A, 1, 0,l) of type (2,2,1,1,1) such that ( L , V, A , 0 , l ) is a bounded distributive lattice and -,is an operator that satisfies the conditions -,(a V b ) = -,a A -,b and -0 = 1. We develop the topological duality between these algebras and Pr

Quasivarieties of distributive lattices
Quasivarieties of distributive lattices with a quantifier
✍ M.E. Adams; W. Dziobiak πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 871 KB

It is shown that any subvariety Y of the variety of bounded distributive lattices with a quantifier, as considered by Cignoli (1991), contains either uncountably or finitely many quasivarieties depending on whether Vcontains the 4-element bounded Boolean lattice with a simple quantifier. It is also