Quasi-polyadic algebras and their dual position (Q2134280)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasi-polyadic algebras and their dual position |
scientific article |
Statements
Quasi-polyadic algebras and their dual position (English)
0 references
6 May 2022
0 references
This paper is a survey of quasi-polyadic (equality) algebras (QPEAs). These algebras are considered in the simple formulation given by \textit{I. Sain} and \textit{R. J. Thompson} [Colloq. Math. Soc. János Bolyai 54, 539--571 (1991; Zbl 0751.03033)], which shows their affinity with both cylindric algebras and, due to the presence of permutation operators \(p_{ij}\), also polyadic algebras. Analyzing the known results on QPEAs, the author traces in their behavior the similarities to and differences from cylindric and polyadic algebras. The paper includes a short history of algebraiztion of first-order logic, contains the necessary basic definitions, and mentions also some connections of QPEAs with relational algebras,
0 references
axiomatizability
0 references
cylindric algebra
0 references
quasi-polyadic equality algebra
0 references
representability
0 references
0 references
0 references
0 references
0 references
0 references
0 references