Geometrical representation theorems for cylindric-type algebras

Creative Commons License

Khaled M. K. M. I., Sayed Ahmed T.

Quaestiones Mathematicae, cilt.43, sa.1, ss.81-96, 2020 (SCI-Expanded) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 43 Sayı: 1
  • Basım Tarihi: 2020
  • Doi Numarası: 10.2989/16073606.2018.1538063
  • Dergi Adı: Quaestiones Mathematicae
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, MathSciNet, zbMATH
  • Sayfa Sayıları: ss.81-96
  • Anahtar Kelimeler: Cylindric algebras, games and networks, representability
  • İstanbul Medipol Üniversitesi Adresli: Hayır

Özet

In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can also be viewed as multi-modal logics. The proofs herein are combinatorial and we also use some techniques from game theory.