This paper is a survey of recent results concerning connections between relation algebras , cylindric algebras and polyadic equality algebras . 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 . 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. (shrink)

2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient (...) way of treating algebraic logic in a unified manner. (shrink)

ABSTRACT As is well-known, a classical representation theorem of the theory of cylindric algebras is: A ε IGwsa if and only if A ε SNrαCAα+ε. The part “only if” is trivial. Regarding to the other part “A ε SNrαCAα+ε then A ε IGwsα“ the following question arises: is it possible to replace the class CA in the hypothesis A ε SNrαCAα+ε by a larger class so that the theorem still holds. Such a larger class Kα β is defined. The class (...) Kα β is the best possible, in a sense to be made precise. Representability of set algebras is investigated, too. (shrink)

Three classes are introduced which are closely related to the class included in the title. It is proven that the class obtained from by replacing axiom C4 by the commutativity of single substitutions can be considered as the abstract class in the Resek–Thompson theorem, thus it is representable by set algebras. Then the class is defined and it is shown that the necessary and sufficient condition for neat embeddability of an algebra in CAα into is the validity of the merry-go-round (...) properties. Finally, the class is introduced which class is a counterpart of among the polyadic like algebras. (shrink)

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α -dimensional neat reducts of algebras in Kβ is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3].