algebra universalis

, Volume 13, Issue 1, pp 157–163 | Cite as

Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent

  • H. Andréka
  • I. Németi


Equational Theory Order Logic Order Theory Algebra Part Algebraic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H. Andréka,Universal Algebraic Logic, Dissertation, 1976 Budapest.Google Scholar
  2. [2]
    H. Andréka, T. Gergely andI. Németi,On Universal Algebraic Construction of Logics, Studia Logica36 (1977), 9–47.MATHMathSciNetCrossRefGoogle Scholar
  3. [3]
    H. Andréka andI. Németi,On Universal Algebraic Logic and Cylindric Algebras, Bull. Section of Logic7 (1978), 152–159 Wroclaw.MATHGoogle Scholar
  4. [4]
    H. Andréka andI. Németi,On systems of varieties definable by schemes of equations, Algebra Universalis11 (1980), 105–116.MATHMathSciNetGoogle Scholar
  5. [5]
    C. C. Chang andH. J. Keisler,Model Theory, North Holland, 1973.Google Scholar
  6. [6]
    L. Henkin andJ. D. Monk,Cylindric Algebras and Related Structures, Proc. Tarski Symp, AMS 1974, 105–121.Google Scholar
  7. [7]
    L. Henkin, J. D. Monk andA. Tarski,Cylindric Algebras Part I. North Holland, 1971.Google Scholar
  8. [8]
    L. Henkin, J. D. Monk andA. Tarski,Cylindric Set Algebras and Related Structures I, Preprint, Univ. of Colorado, Boulder, 1979.Google Scholar
  9. [9]
    J. D. Monk,Nonfinitizability of Classes of Representable Cylindric Algebras, J. Symbolic Logic34 (1969), 331–343.MATHMathSciNetCrossRefGoogle Scholar
  10. [10]
    J. D. Monk,Mathematical Logic, Springer Verlag, 1976.Google Scholar
  11. [11]
    I. Németi andI. Sain,Connections between Algebraic Logic and Initial Algebra Semantics of CF Languages, Proc. Coll. Logic in Programming, Salgotarján 1978. Coll. Math. Soc. J. Bolyai, North Holland, To appear.Google Scholar

Copyright information

© Birkhäuser Verlag 1981

Authors and Affiliations

  • H. Andréka
    • 1
  • I. Németi
    • 1
  1. 1.Hungarian Academy of SciencesBudapestHungary

Personalised recommendations