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
Distributive lattices with a dual homomorphic operation
β Scribed by Alasdair Urquhart
- Publisher
- Springer Netherlands
- Year
- 1979
- Tongue
- English
- Weight
- 578 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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