Complete representations in algebraic logic-Reference-Cited by-同舟云学术

Complete representations in algebraic logic

Published:1997-09 Issue:3 Volume:62 Page:816-847
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Hirsch Robin,Hodkinson Ian

Abstract

AbstractA 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference22 articles.

1. The theory of representations for Boolean algebras;Stone;Transactions of the American Mathematical Society,1936

2. Some varieties containing relation algebras

3. Venema Y. , Many-dimensional modal logic, Ph.D, thesis , University of Amsterdam, 1992.

Cited by 50 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Complete Representations and Neat Embeddings;Bulletin of the Section of Logic;2022-09-09

2. Difference–restriction algebras of partial functions with operators: Discrete duality and completion;Journal of Algebra;2022-08

3. Notions of representability for cylindric algebras: some algebras are more representable than others;Periodica Mathematica Hungarica;2022-07-21

4. Difference–restriction algebras of partial functions: axiomatisations and representations;Algebra universalis;2022-06-27

5. FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH;The Journal of Symbolic Logic;2021-10-29