Cylindric algebras and finite polyadic algebras

DOI10.1007/S00012-018-0546-4MaRDI QIDQ1991591zbMATH OpenOpenAlexFDO

Authors Miklós Ferenczi

Publication date 30 October 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-018-0546-4

zbMATH Keywords

abstract transpositioncylindric algebrasfinitary polyadic algebrasquasi-polyadic algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)

Review text

This survey paper is a short history of cylindric algebras and finitary polyadic algebras (a subclass of cylindric algebras with a transposition operator, which yields relativised representability). It is interesting and useful but is too brief, has a somewhat narrow point of view, is not sufficiently thorough, and is inaccurate or misleading in some cases. Several important papers are not mentioned, and there are several peculiar references. Four pages are devoted to a reiteration of technical concepts from standard textbooks, mostly not used, including the statements of just two theorems (the weak Resek-Thompson theorem and one by the author) but without citing any sources. For some concepts, already defined in the textbooks, he cites instead a technical paper published much later. The definitional equivalence of quasi-polyadic algebras and finitary polyadic algebras (and the paper proving it) is mentioned twice, in different sections. Some work of Ildiko Sain is missing from the two appropriate sections. Proofs of the weak, and later the strong, Resek-Thompson theorem were published in 1988 and 1989, respectively, but only the former is mentioned. The work of Richard Thompson is lumped together with that of Diane Resek and attributed to Resek's dissertation. The merry-go-round identities are said to be ``mysterious, and the standard textbook explanation of them is attributed instead to a technical paper. In spite of these shortcomings, there are several pages of useful material, a page of history, a good table of comparisons between systems, and half a page of conclusions, regarding the proper algebraization of first-order logic.

Recommendations

• Quasi-polyadic algebras and their dual position
• Relation algebras from cylindric and polyadic algebras
• Polyadic algebras
• On some developments in the representation theory of cylindric-like algebras
• On Cylindric Algebras Satisfying Merry-go-round Properties

Cites work

• A complete first-order logic with infinitary predicates
• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
• A note on algebras of substitutions
• A note on substitutions in representable cylindric algebras
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Cylindric Algebras and Algebras of Substitutions
• Cylindric algebras. Part II
• Cylindric-like algebras and algebraic logic
• Existence of partial transposition means representability in cylindric algebras
• Finitary polyadic algebras from cylindric algebras
• How many varieties of cylindric algebras are there
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• scientific article; zbMATH DE number 67043 (Why is no real title available?)
• scientific article; zbMATH DE number 2024618 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• scientific article; zbMATH DE number 3248820 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3346296 (Why is no real title available?)
• Modal languages and bounded fragments of predicate logic
• On nonrepresentable G-polyadic algebras with representable cylindric reducts
• On the equational theory of representable polyadic equality algebras
• Polyadic algebras
• Relation algebras from cylindric and polyadic algebras
• Relativization of cylindric algebras
• Representation theory for polyadic algebras
• Representations of polyadic-like equality algebras
• Some sufficient conditions for the representability of relation algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Varieties of relation algebras

Cited in

(15)

• A construction of cylindric and polyadic algebras from atomic relation algebras
• scientific article; zbMATH DE number 5883874 (Why is no real title available?)
• Existence of partial transposition means representability in cylindric algebras
• On nonrepresentable G-polyadic algebras with representable cylindric reducts
• scientific article; zbMATH DE number 3861152 (Why is no real title available?)
• scientific article; zbMATH DE number 3869328 (Why is no real title available?)
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• scientific article; zbMATH DE number 67037 (Why is no real title available?)
• An introduction to cylindric set algebras
• Finite Diagonal-free Two-dimensional Cylindric Algebras
• How many varieties of cylindric algebras are there
• scientific article; zbMATH DE number 7655657 (Why is no real title available?)
• Transposition of variables is hard to axiomatize
• Algebras whose Coxeter polynomials are products of cyclotomic polynomials.
• The number of finitely generated infinite cylindric set algebras of dimension two

This page was built for publication: Cylindric algebras and finite polyadic algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991591)