Skip to main content
SpringerLink
Log in

On Complete Representations of Reducts of Polyadic Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Henkin, L., J. Monk, and A. Tarski, Cylindric Algebras. Part 1 and 2. North Holland, 1971, 1985.

  2. Hircsh R., Hodkinson I. (1997) ‘Complete representations in algebraic logic’. Journal of Symbolic Logic 62(3): 816–847

    Article  Google Scholar 

  3. Hodges, W., Model Theory, volume 42 of Encyclopedia of mathematics and its applications, Cambridge University Press, 1993.

  4. Németi, I., ‘Algebraisation of quantifier logics, an introductory overview’, Math. Inst. Budapest, Preprint, No 13-1996. A shortened version appeared in Studia Logica vol. 50, 4 (1991), 465–569.

  5. Sain, I., ‘Searching for a finitizable algebraization of first order logic’, 8, Logic Journal of IGPL, Oxford University Press, no 4 (2000), 495–589.

  6. Sagi, G., On the Finitization problem in Algebraic logic PhD dissertation, 1999.

  7. Sayed Ahmed T. (2004) ‘On amalgamation of reducts of polyadic algebras’. Algebra Universalis 51: 301–359

    Article  Google Scholar 

  8. Sayed Ahmed T. (2005) ‘Algebraic Logic, where does it stand today?’. Bulletin of Symbolic Logic 11(4): 465–516

    Article  Google Scholar 

  9. Sayed Ahmed, T., ‘The class of completely representable quasi-polyadic algebras of dimension > 2 is not elementary’. Submitted.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt

    Tarek Sayed Ahmed

Authors
  1. Tarek Sayed Ahmed
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tarek Sayed Ahmed.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sayed Ahmed, T. On Complete Representations of Reducts of Polyadic Algebras. Stud Logica 89, 325–332 (2008). https://doi.org/10.1007/s11225-008-9131-8

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-008-9131-8

Keywords

Search

Navigation