Equational compactness of bi-frames and projection algebras

DOI10.1007/BF01225471MaRDI QIDQ1894552zbMATH OpenFDO

Authors Friedrich Wehrung

Publication date 30 January 1996

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01225471

zbMATH Keywords

bi-framedistributive latticesmonadic algebrasprojection algebras

Mathematics Subject Classification ID

Distributive lattices (06D99) Equational compactness (08A45)

Review text

A bi-frame is a complete lattice which is meet- and join-continuous. In 1972 D. Kelly showed that every bi-frame is 1-variable equationally compact and K. A. Nauryzbaev extended in 1986 Kelly's result to 2 variables. The present author presents a bi-frame that is not 3-variable countably equationally compact. This is a counterexample to G. Grätzer's conjecture that a distributive lattice is equationally compact iff it is a bi-frame. Bi-frames are treated in a more general axiomatic context of so-called projection algebras, which are distributive lattices with two additional unary operations and generalize monadic algebras.

Recommendations

• scientific article; zbMATH DE number 559158
• scientific article; zbMATH DE number 3997858
• scientific article; zbMATH DE number 3961685
• Purity and equational compactness of projection algebras
• A property of the lattice of equational theories

Cites work

• A compactness property of Dedekind -complete f-rings
• A note on equationally compact lattices
• Boolean universes above Boolean models
• Bounded countable atomic compactness of ordered groups
• Equational compactness in equational classes of algebras
• Equational compactness in rings. With applications to the theory of topological rings
• Equationally compact algebras (I)
• Equationally compact distributive lattices
• Equationally compact semilattices
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3217043 (Why is no real title available?)
• scientific article; zbMATH DE number 3253985 (Why is no real title available?)
• scientific article; zbMATH DE number 3344793 (Why is no real title available?)
• scientific article; zbMATH DE number 3055966 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• On the strength of the Sikorski extension theorem for Boolean algebras
• Some constructions of compact algebras
• The Semilattices with Distinguished Endomorphisms which are Equationally Compact
• Topology in Lattices

Cited in

(4)

• A projection property and Arrow's impossibility theorem
• scientific article; zbMATH DE number 440065 (Why is no real title available?)
• scientific article; zbMATH DE number 559158 (Why is no real title available?)
• Purity and equational compactness of projection algebras

This page was built for publication: Equational compactness of bi-frames and projection algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1894552)