Abstract
In 1951 Jónsson and Tarski showed that every Boolean algebra with operators could be embedded in a perfect (or canonical) extension. We obtain a similar result for regular double Stone algebras with operators. As a corollary we obtain another proof that every regular double Stone algebra can be represented as an algebra of rough subsets of an approximation space.
Similar content being viewed by others
References
Balbes, R. andDwinger, Ph.,Distributive Lattices, U. Missouri Press, 1974.
Comer, S.,Representations by algebras of sections over Boolean spaces, Pacific J. Math.38 (1971), 29–38.
Comer, S.,On connections between information systems, rough sets and algebraic logic, Algebraic Methods in Logic and in Computer Science, Banach Center Pub., vol. 28, 1993, 117–124.
Goldblatt, R.,Varieties of complex algebras, Annals of Pure Applied Logic44 (1989), 173–243.
Gratzer, G.,Lattice Theory. First concepts and distributive lattices. W. H. Freeman and Co., 1971.
Iwinski, T. B.,Algebraic approach to rough sets. Bull. Polish. Acad. Sci. Math.35 (1987), 673–683.
Jönsson, B. andTarski, A.,Boolean algebras with operators.Part I, Amer. J. Math.73 (1951), 891–939.Part II, ibid.,74 (1952), 127–162.
Katriňâk, T.,Construction of regular double p-algebras, Bull. Soc. Roy. Sci. de Liege43 (1974), 283–290.
Katrtňák, T.,Injective double Stone algebras, Algebra Univ.4 (1974), 259–267.
Katriňák, T.,Essential extensions and injective hulls of double Stone algebras, Algebra Univ.7 (1977), 5–23.
Pawlak, Z.,Rough sets; power set hierarchy, ICS PAS Report470 (1982).
Pomykala, J. andPomykala, J. A.,The Stone algebra of rough sets, Bull. Polish Acad. Sci. Math.36 (1988), 495–508.
Szász, G.,Introduction to Lattice Theory (3rd edition). Academic Press, NY, 1963.
Varlet, J.,A regular variety of type 〈2, 2, 1, 1, 0, 0〉, Algebra Univ.2 (1972), 218–223.
Author information
Authors and Affiliations
Additional information
Research supported in part by The Citadel Development Foundation.
Rights and permissions
About this article
Cite this article
Comer, S.D. Perfect extensions of regular double Stone algebras. Algebra Universalis 34, 96–109 (1995). https://doi.org/10.1007/BF01200492
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01200492