On Complete Representations of Reducts of Polyadic Algebras |
| |
Authors: | Tarek Sayed Ahmed |
| |
Affiliation: | (1) Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt |
| |
Abstract: | Following research initiated by Tarski, Craig and Németi, and futher pursued by Sain and others, we show that for certain subsets G of ω ω, atomic countable G polyadic algebras are completely representable. G polyadic algebras are obtained by restricting the similarity type and axiomatization of ω-dimensional polyadic algebras to finite quantifiers and substitutions in G. This contrasts the cases of cylindric and relation algebras. Presented by Robert Goldblatt |
| |
Keywords: | Algebraic logic polyadic algebras complete representations |
本文献已被 SpringerLink 等数据库收录! |
|