Geometrical representation theorems for cylindric-type algebras

2018/11/06 by Khaled, Mohamed, Ahmed, Tarek Sayed
#03B45 #FOS: Mathematics #Logic (math.LO) #Primary 03G15 #Secondary 03G25

paper · doi:10.48550/arxiv.1811.02327

Abstract

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.

Related

• An infinite stratum of representability; some cylindric algebras are more representable than others
• A brief history of algebraic logic from neat embeddings to rainbow constructions
• Cylindric algebras of De Morgan-valued logic
• Problems on neat embeddings solved by rainbow constructions and Monk algebras
• Algebraisable versions of predicate topological logic