Preview
Unable to display preview. Download preview PDF.
References
Comer, S.D., Galois-theory of cylindric algebras and its applications., Trans. Amer. Math. Soc. 286 (1984), 771–785.
Henkin, L., Monk, J.D. and Tarski, A., Cylindric Algebras, Parts I–II, North-Holland, Amsterdam.
Jónsson, B., Varieties of relation algebras, Algebra Universalis 15 (1982), 273–298.
Jónsson, B. and Tarski, A., Boolean algebras with operators. Part II, Amer. J. Math. 74 (1952), 127–162.
Jónsson, B. and Tarski, A., On two properties of free algebras, Math. Scand. 9 (1961), 95–101.
Maddux, R., “Topics in relation algebras,” Ph.D Thesis, University of California, Berkeley, 1978.
Maddux, R., Some varieties containing relation algebras, Trans. Amer. Math. Soc 272 (1982), 501–526.
Maddux, R., Pair-dense relation algebras, Trans. Amer. Math. Soc. (to appear).
Németi, I., “Free algebras and decidability in algebraic logic,” Dissertation for D.Sc. with Hung. Academy of Sciences (In Hungarian.), Budapest, 1986.
Németi, I., Decidability of relation algebras with weakened associativity, Proc. Amer. Math. Soc. 100 2 (1987), 340–344.
Németi, I., On varieties of cylindric algebras with applications to logic, Annals of Pure and Applied Logic 36 (1987), 235–277.
Sain, I., Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators., Partially abstracted in: Sain,I., Amalgamation, Epimorphisms, and Definability Properties in Algebraic Logic, Bulletin of the Section of Logic, Vol 18, No 2 (Warsaw-Lodz 1989), 72–78., Studia Logica (to appear).
Tarski, A. and Givant, S., “A formalization of set theory without variables,” Colloquium publications 41, AMer. Math. Soc., Providence, Rhode Island, 1987.
Werner, H., “Discriminator algebras,” Akademie Verlag, Berlin, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andréka, H., Jónsson, B., Németi, I. (1990). Relatively free relation algebras. In: Bergman, C.H., Maddux, R.D., Pigozzi, D.L. (eds) Algebraic Logic and Universal Algebra in Computer Science. ALUACS 1988. Lecture Notes in Computer Science, vol 425. Springer, New York, NY. https://doi.org/10.1007/BFb0043075
Download citation
DOI: https://doi.org/10.1007/BFb0043075
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97288-6
Online ISBN: 978-0-387-34804-9
eBook Packages: Springer Book Archive