Abstract
It is known that every α-dimensional quasi polyadic equality algebra (QPEA α ) can be considered as an α-dimensional cylindric algebra satisfying the merrygo- round properties \((CA^{+}_\alpha, \alpha \geq 4)\). The converse of this proposition fails to be true. It is investigated in the paper how to get algebras in QPEA from algebras in CA. Instead of QPEA the class of the finitary polyadic equality algebras (FPEA) is investigated, this class is definitionally equivalent to QPEA. It is shown, among others, that from every algebra in \(CA^{+}_\alpha\) a β-dimensional algebra can be obtained in QPEA β where \(\beta < \alpha (\beta \geq 4)\) , moreover the algebra obtained is representable in a sense.
Similar content being viewed by others
References
Andreka H., Thompson R. (1988). ’A Stone-type representation theorem for algebras of relations of higher rank’, Trans. Amer. Math. Soc. 309(2):671–682
Daigneault A., Monk J.D. (1963). ’Representation theory for polyadic algebras’. Fund. Math. 52:151–176
Ferenczi M. (1999). ’On diagonals in representable cylindric algebras’. Algebra Universalis 41:187–199
Ferenczi M. (2000). ’On representability of neatly embeddable cylindric algebras’. J. of Applied Non-Classical Logics 3-4:300–315
Ferenczi M., Sagi G. (2006). ’On some developments in the representation theory of cylindric-like algebras’. Algebra Universalis 55:345–353
Ferenczi M. (2007). ’On cylindric algebras satisfying merry-go-round properties’. Logic J. of IGPL 15(2):183–197
Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, I-II., North Holland, 1985.
Halmos P. (1962). Algebraic Logic. Chelsea Publ. Co., New York
Halmos P. (2000). ’An autobiography of polyadic algebras’. Logic J. of IGPL 8(4):383–392
McKenzie, R. N., G. F. McNulty, and W.F. Taylor, Algebras, Lattices, Varieties, Vol.I, Monterey, California, 1987.
Marinkovic S., Ravskovic M., Dordevic R. (2001). ’Weak probability polyadic algebras’. Facta Univ. Ser. Math. Inform. 16:1–12
Nemeti I., Simon A. (1997). ’Relation algebras from cylindric and polyadic algebras’. Logic J. of IGPL 5(4):575–588
Pigozzi, D., and A. Salibra, ’Polyadic algebra over nonclassical logics’, in Algebraic Methods in Logic and Comp. Sci., Banach Center Publ. 28., Polish Ac. Sci., Warsaw, 1993.
Sagi G. (2001). ’Non-computability of the equational theory of polyadic algebras’. Bull. Sect. Logic. Univ. Lodz 30(3):155–164
Sain, I., and R. Thompson, ’Strictly finite schema axiomatization of quasi polyadic algebras’, in H. Andreka, J. D. Monk, and I. Nemeti (eds.), Algebraic Logic, Colloq. Math. Soc. J. Bolyai, Vol. 54, North Holland, 1991.
Salibra, A., ’A general theory of algebras with quantifiers in algebraic logic’, in H. Andreka, J. D. Monk, and I. Nemeti (eds.), Coll. Math. Soc. J. Bolyai, Vol. 54, North Holland, 1991, pp. 573–620.
Sayed Ahmed T. (2006). ’The class of infinite dimensional neat reducts of quasi polyadic algebras is not axiomatizable’. Math. Logic Quart. 52(1):106–112
Sayed Ahmed T. (2004). ’On amalgamation of reducts of polyadic algebras’. Algebra Universalis 51(4):301–359
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the OTKA grants T0351192, T43242.
Rights and permissions
About this article
Cite this article
Ferenczi, M. Finitary Polyadic Algebras from Cylindric Algebras. Stud Logica 87, 1–11 (2007). https://doi.org/10.1007/s11225-007-9073-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9073-6