Geometrical representation theorems for cylindric-type algebras
QUAESTIONES MATHEMATICAE, cilt.43, sa.1, ss.81-96, 2020 (SCI-Expanded, Scopus)
- 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, representability, games and networks
- İ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.