Skip Navigation

Logic Journal of IGPL 1997 5(4):575-588; doi:10.1093/jigpal/5.4.575
© 1997 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Nemeti, I
Right arrow Articles by Simon, A
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

Relation algebras from cylindric and polyadic algebras

I Nemeti and A Simon

Mathematical Institute, Hungarian Academy of Sciences, Budapest PF. 127, H-1364 Hungary. Email: andras@math-inst.hu

This paper is a survey of recent results concerning connections between relation algebras (RA), cylindric algebras (CA) and polyadic equality algebras (PEA). We describe exactly which subsets of the standard axioms for RA are needed for axiomatizing RA over the RA-reducts of CA3's, and we do the same for the class SA of semi-associative relation algebras. We also characterize the class of RA-reducts of PEA3's. We investigate the interconnections between the RA-axioms within CA3 in more detail, and show that only four implications hold between them (one of which was proved earlier by Monk). In the other direction, we introduce a natural CA-theoretic equation MGR+, generalization of the well-known Merrry-Go-Round equation MGR of CA-theory. We show that MGR+ is equivalent to the RA-reduct being an SA, and that MGR+ implies that the RA-reduct determines the algebra itself, while MGR is not sufficient for either of these to hold. Then we investigate how different CA's a single RRA can 'generate' in the general case. We solve the first part of Problem 11 from the 'Problem Session Paper' of [2].

While proving some of the statements, for others we give only outline of proof. The paper contains several open problems. A full version of this paper is under preparation.

Keywords: relation algebras, cylindric algebras, polyadic algebras, algebraic logic, arrow logic, proof theory, finite variable fragments, provability with 3 variables, non-finitizability, twisting, non-standard models, neat reducts, representability


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.