Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-25T06:20:05.356Z Has data issue: false hasContentIssue false

Complete representations in algebraic logic

Published online by Cambridge University Press:  12 March 2014

Robin Hirsch
Affiliation:
Department of Computer Science, University College, Gower Street London WC1E 6BT, U.K., E-mail: R.Hirsch@cs.ucl.ac.uk
Ian Hodkinson
Affiliation:
Department of Computing, Imperial College, 180 Queen's Gate, London SW7 2BZ, U.K., E-mail: imh@doc.ic.ac.uk

Abstract

A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Andréka, H., Monk, J. D., and Németi, I., Algebraic logic, North-Holland, 1991.Google Scholar
[2]Chang, C. C. and Keisler, H. J., Model theory, 2nd ed., North-Holland, Amsterdam, 1973.Google Scholar
[3]Goldblatt, R., Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173242.CrossRefGoogle Scholar
[4]Henkin, L., Monk, J. D., and Tarski, A., Cylindric algebras Part I, North-Holland, 1971.Google Scholar
[5]Henkin, L., Monk, J. D., and Tarski, A., Cylindric algebras Part II, North-Holland, 1985.Google Scholar
[6]Hirsch, R., Completely representable relation algebras, Bulletin of the interest group in propositional and predicate logics, vol. 3 (1995), no. 1, pp. 7792.Google Scholar
[7]Hirsch, R. and Hodkinson, I., Step by step — building representations in algebraic logic, this Journal, to appear.Google Scholar
[8]Jónsson, B. and Tarski, A., Representation problems for relation algebras, Bulletin of the American Mathematical Society, vol. 54 (1948).Google Scholar
[9]Jónsson, B. and Tarski, A., Boolean algebras with operators, Part II, American Journal of Mathematics, vol. 74 (1952), pp. 127162.CrossRefGoogle Scholar
[10]Lyndon, R., The representation of relational algebras, Annals of Mathematics, vol. 51 (1950), no. 3, pp. 707729.CrossRefGoogle Scholar
[11]Lyndon, R., The representation of relation algebras, II, Annals of Mathematics, vol. 63 (1956), no. 2, pp. 294307.CrossRefGoogle Scholar
[12]Maddux, R., Topics in relation algebra, Ph.D. thesis, University of California, Berkeley, 1969.Google Scholar
[13]Maddux, R., Some varieties containing relation algebras, Transactions of the American Mathematical Society, vol. 272 (1982), no. 2, pp. 501526.CrossRefGoogle Scholar
[14]Maddux, R., Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections, Algebraic logic, North-Holland, 1991, pp. 361392.Google Scholar
[15]Maddux, R. D., Non-finite axiomatizability results for cylindric and relation algebras, this Journal, vol. 54 (1989), no. 3, pp. 951974.Google Scholar
[16]Marx, M., Algebraic relativization and arrow logic, Ph.D, thesis, University of Amsterdam, 1995, ILLC Dissertation Series 95-3.Google Scholar
[17]McKenzie, R., Representation of integral relation algebras, Michigan Mathematics Journal, vol. 17 (1970), pp. 279287.CrossRefGoogle Scholar
[18]Mikulás, S., Taming logics, Ph.D. thesis, University of Amsterdam, 1995, ILLC Dissertation Series 95-12.Google Scholar
[19]Monk, J. D., Lectures on cylindric set algebras, Algebraic methods in logic and in computer science, Institute of Mathematics, Polish Academy of Sciences, vol. 28, Banach Center publications, 1993.Google Scholar
[20]Stone, M., The theory of representations for Boolean algebras, Transactions of the American Mathematical Society, vol. 40 (1936), pp. 37111.Google Scholar
[21]Venema, Y., Many-dimensional modal logic, Ph.D, thesis, University of Amsterdam, 1992.Google Scholar
[22]Villain, M. and Kautz, H., Constraint propagation algorithmsfor temporal reasoning, Proceedings of the fifth AAAI, 1986, pp. 377382.Google Scholar