Complete Representations in Algebraic Logic

Hirsch, Robin; Hodkinson, Ian

J. Symbolic Logic, Tome 62 (1997) no. 1, p. 816-847 / Harvested from Project Euclid

Résumé

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.

Publié le : 1997-09-14
Classification:

@article{1183745299,
     author = {Hirsch, Robin and Hodkinson, Ian},
     title = {Complete Representations in Algebraic Logic},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 816-847},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745299}
}

Hirsch, Robin; Hodkinson, Ian. Complete Representations in Algebraic Logic. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  816-847. http://gdmltest.u-ga.fr/item/1183745299/