Skip to main content
SpringerLink
Log in

On the representability of neatly embeddable CA’s by cylindric relativized algebras

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

Neat embedding theorems yield an abstract algebraic characterization for the representability of a given class of algebras by set algebras. Resek and Thompson’s theorem called attention to a new kind of representation in the theory of cylindric algebras, to the representation by cylindric relativised set algebras. In this paper, we present the algebraic characterization of this kind of representation; we formulate neat embedding theorems for this representation.

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. Andréka H., Thompson R.J.: A Stone type representation theorem for algebras of relations of higher rank. Transaction of Amer. Math. Soc. 309(2), 671–682 (1988)

    Article  MATH  Google Scholar 

  2. Andréka, H., Ferenczi, M., Németi, I.: Cylindric-like Algebras and Algebraic Logic. Springer, to appear

  3. Ferenczi M.: On diagonals in representable cylindric algebras. Algebra Universalis 41, 187–199 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  4. Ferenczi M.: Finitary polyadic algebras from cylindric algebras. Studia Logica 1, 87 (2007)

    MathSciNet  Google Scholar 

  5. Ferenczi, M.: The polyadic generalization of the boolean axiomatization of fields of sets. Transaction of American Mathematical Society, to appear

  6. Ferenczi, M.: On representation of polyadic equality algebras by polyadic relativized set algebras. Budapest University of Technology, preprint

  7. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras I. North Hollan (1972)

  8. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras II. North Holland (1985)

  9. Hirsch R., Hodkinson I.: Step by step building representations in algebraic logic. Journal of Symbolic Logic 62(1), 225–279 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  10. Kurucz Á., Németi I.: Representability of pairing relation algebras depends on your ontology. Fundamenta Informaticae 44, 397–420 (2000)

    MATH  MathSciNet  Google Scholar 

  11. Németi I., Sayed Ahmed T.: On neat reducts and amalgamation. Bulletin of Symbolic Logic 7, 1 (2001)

    Article  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  13. Sayed Ahmed T.: The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable. Mathematical Logic Quarterly 52(1), 106–112 (2006)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Algebra, Institute of Mathematics, Budapest University of Technology and Economics, H–1521, Budapest, Hungary

    Miklós Ferenczi

Authors
  1. Miklós Ferenczi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Miklós Ferenczi.

Additional information

Presented by I. Sain.

The author was supported by the OTKA grants T035192, T43242.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ferenczi, M. On the representability of neatly embeddable CA’s by cylindric relativized algebras. Algebra Univers. 63, 331–350 (2010). https://doi.org/10.1007/s00012-010-0081-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-010-0081-4

2000 Mathematics Subject Classification

Key words and phrases

Search

Navigation