Abstract
We generalize D. Kelly's and K. A. Nauryzbaev's results of 1-variable and 2-variable equational compactness of complete distributive lattices satisfying the infinite distributive law and its dual (“bi-frames”) to objects similar to monadic algebras (which we will callprojection algebras). This will lead us in particular to an example of bi-frame that is not 3-variable equationally compact, even forcountable equation systems, thus solving a problem of G. Grätzer. This example is realized as a certain complete sublattice of the complete Boolean algebra of regular open subsets of some Polish space.
Similar content being viewed by others
References
Banaschewski, B. andNelson, E.,Equational compactness in equational classes of algebra, Algebra Universalis2 (1972), 152–165.
Bell, J. L.,On the strength of the Sikorski extension theorem for Boolean algebras, Journal of Symbolic Logic48 (1983), 841–846.
Birkhoff, G.,Lattice theory, American Mathematical Society Colloquium Publications25 (1993), 3rd edition, seventh printing.
Bulman-Fleming, S., Fleischer, I. andKeimel, K.,The semilattices with distinguished endomorphisms which are equationally compact, Proceedings of the American Mathematical Society73 (1) (1979), 7–10.
Chang, C. C. andKeisler, H. J.,Model Theory, North Holland Publishing Company, 1973.
Christensen, J. P. R.,Topology and Borel Structure, North Holland Publishing Company, 1974.
Corominas, E.,Sur les ensembles ordonnés projectifs et la propriété du point fixe, Comptes Rendus de l'Académie des Sciences Paris,311-I (1990), 199–204.
Frink, O.,Topology in lattices, Transactions of the American Mathematical Society51 (1942), 569–582.
Gaina, S.,Order topologies in Boolean algebras, Revue Roumaine de Mathématiques Pures et Appliquées17 (2) (1972), 243–251.
Gierz, G.,Hofmann, K. H.,Keimel, K.,Lawson, J. D.,Mislove, M. andScott, D. S.,A Compendium of Continuous Lattices, Springer-Verlag, 1980.
Grätzer, G.,General Lattice Theory, Birkhäuser Verlag, Basel, 1978.
Grätzer, G. andLakser, H.,Equationally compact semilattices, Colloquium Mathematicum20 (1) (1969), 27–30.
Haley, D. K.,Equational compactness in rings, Lecture Notes in Mathematics 745, Springer-Verlag, Berlin, Heidelberg, New York, 1979.
Halmos, P. R.,Measure Theory, D. Van Nostrand, 1958.
Halmos, P. R.,Algebraic Logic, Chelsea Publishing Company, New York, 1962.
Johnstone, P.,Stone Spaces, Cambridge University Press, Cambridge Studies in Advanced Mathematics 3, 1982.
Kelly, D.,A note on equationally compact lattices, Algebra Universalis2 (1) (1972), 80–84.
Koppelberg, S.,General theory of Boolean Algebras, inHandbook of Boolean Algebras, vol. 1, 1–307, edited by J. D. Monk with R. Bonnet, Elsevier, Amsterdam, 1989.
Nauryzbaev, K. A.,Equationally compact distributive lattices, Algebra and Logic25 (5) (1986), 369–379; translated from Algebra i Logica, vol. 25, no 5 (September–October 1986), 584–599.
Oxtoby, J.,Measure and Category, Graduate Texts in Mathematics 2, Springer-Verlag, New-York, Heidelberg, Berlin, 1971.
Rema, P. S.,On compact topological lattices, Mathematica Japonicae9 (2) (1964), 93–98.
Sikorski, R.,A theorem on extensions of homomorphisms, Ann. Soc. Polon. Math.21 (1948), 332–335.
Taylor, W.,Some constructions of compact algebras, Annals of Mathematical Logic3 (4) (1971), 395–437.
Weglorz, B.,Equationally compact algebras (I), Fundamenta Mathematicae59 (1966), 289–298.
Weglorz, B.,Completeness and compactness of lattices, Colloquium Mathematicum16 (1967), 243–248.
Wehrung, F.,Boolean universes above Boolean models, Journal of Symbolic Logic58 (4) (December 1993), 1219–1250.
Wehrung, G.,A compactness property of Dedekind σ-complete f-rings, to appear in Algebra Universalis.
Wehrung, F.,Bounded atomic compactness of ordered groups, preprint.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wehrung, F. Equational compactness of bi-frames and projection algebras. Algebra Universalis 33, 478–515 (1995). https://doi.org/10.1007/BF01225471
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01225471