Abstract
An Ockham lattice is defined to be a distributive lattice with 0 and 1 which is equipped with a dual homomorphic operation. In this paper we prove: (1) The lattice of all equational classes of Ockham lattices is isomorphic to a lattice of 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 characterization of orderings of ω with respect to which the successor function is decreasing is given.
Similar content being viewed by others
References
R. Balbes and P. Dwinger, Distributive lattices, University of Missouri Press, Columbia, 1974.
J. Berman, Distributive lattices with an additional unary operation, Aequationes Mathematicae 16 (1977), pp. 165–171.
G. Grätzer, Universal Algebra, rev. ed. Springer Verlag, 1979.
B. Jónsson, Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21 (1967), pp. 110–121.
J. Kalman, Lattices with involution, Transactions of the American Mathematical Society 87 (1958), pp. 485–491.
H. Priestley, Representation of distributive lattices by means of ordered Stone spaces, The Bulletin of the London Mathematical Society 2 (1970), pp. 186–190
H. Priestley, Ordered topological spaces and the representation of disributive lattices, Proceedings of the London Mathematical Society, Ser. 3, 24 (1972), pp. 507–530.
H. Rasiowa, An algebraic approach to non-classical logics, North-Holland, Amsterdam (1974).
A. Urquhart, Distributive lattices with a dual homomorphic operation, Stadia Logica 38 (1979), pp. 201–209.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Urquhart, A. Distributive lattices with a dual homomorphic operation. II. Stud Logica 40, 391–404 (1981). https://doi.org/10.1007/BF00401657
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00401657