Skip to main content
SpringerLink
Log in

A Note on Neat Reducts

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic and quasi-polyadic equality algebras, respectively. Let \({2 < n < m \le \omega}\) . and \({K \in \{SC, CA, QA, QEA\}}\) . We show that the class of n dimensional neat reducts of algebras in K m is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2].

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. Sayed Ahmed T. (2001) ‘The class of neat reducts is not elementary’. Logic Journal of IGPL 9:31–65 Electronically available at http://www.math-inst.hu/pub/algebraic-logic

    Article  Google Scholar 

  2. Sayed Ahmed T. (2002) ‘The class of 2-dimensional neat reducts of polyadic algebras is not elementary’. Fundamenta Mathematicea 172:61–81

    Google Scholar 

  3. Sayed Ahmed T. (2002) ‘A Model-theoretic Solution to a Problem of Tarski’. Mathematical Logic Quarterly 3:343–355 Electronically available at http://www.interscience.wiley.com

    Google Scholar 

  4. Sayed Ahmed T. (2002) ‘Martin’s axiom, omitting types and complete representations in algebraic logic’. Studia Logica 72:1–25

    Article  Google Scholar 

  5. Sayed Ahmed, T., On neat reducts of algebras of logic, Ph.D. dissertation, Cairo University, 2002.

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

    Article  Google Scholar 

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

    Google Scholar 

  8. Sayed Ahmed T., Németi I. (2001) ‘On neat reducts of algebras of logic’. Studia Logica 68:229–262

    Article  Google Scholar 

  9. Henkin, L., J. D. Monk,, and A. Tarski, Cylindric Algebras Part I, II. North Holland, 1971, 1985.

  10. Henkin, L., J. D. Monk, A. Tarski, H. Andreka, and I. Németi, Cylindric Set algebras, lecture notes in Mathematics 883, Springer Verlag, 1981.

  11. Hirsch R., Hodkinson I., Maddux R. (2002) ‘Relation algebra reducts of cylindric algebras and an application to proof theory’. Journal of Symbolic Logic 67(1):197– 213

    Google Scholar 

  12. Hirsch R., Hodkinson I., Maddux R. (2002) ‘On provability with finitely many variables’. Bulletin of Symbolic Logic 8(3):329-347

    Article  Google Scholar 

  13. Maddux, R., Topics in relation algebras Ph.D. dissertation. University of California, Berkley, 1978.

  14. Németi, I., ‘The Class of Neat Reducts of Cylindric Algebras is Not a Variety But is Closed w.r.t. HP’. Notre Dame Journal of Formal Logic 24 (3):399-409, July 1983.

    Google Scholar 

  15. Németi, I., Algebraisation of quantifier logics, an introductory overview. Texhnical Report 13/1996. Math. Inst. Hungar. Acad. Sci., 1996. A shorter and older version appeared in Studia Logica 50:465–569, 1991. Electronically available as: http://circle.math-inst.hu/pub/algebraic-logic/survey.dvi, survey.ps.

  16. Pigozzi D. (1971) ‘Amalgamation, congruence extension, and interpolation properties in algebras’. Algebra Universalis 1:269–349

    Article  Google Scholar 

  17. Sain I., and R. J. Thompson, ‘Strictly finite schema axiomatizations of Quasi- Polyadic Algebras’, in H. Andreka, J. D. Monk, I. Nemeti (eds.), Algebraic Logic (Proc. Conference Budapest 1988), vol. 54 of Colloq, Math.Soc, Jano Bolyai, North Holland, Amsterdam, 1991, pp. 539-571.

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

Ahmed, T.S. A Note on Neat Reducts. Stud Logica 85, 139–151 (2007). https://doi.org/10.1007/s11225-007-9034-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-007-9034-0

Keywords

Search

Navigation