5 papers · 1 filter
Atoms in infinite dimensional free sequence-set algebras
Mohamed Khaled, István Németi
A. Tarski proved that the m-generated free algebra of , the class of cylindric algebras of dimension , contains exactly zero-dimensional atoms, when $m\ge 1…
Geometrical representation theorems for cylindric-type algebras
Mohamed Khaled, Tarek Sayed Ahmed
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 pr…
Distances between formal theories
Michèle Friend, Mohamed Khaled, Koen Lefever +1
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something…
First order logic without equality on relativized semantics
Amitayu Banerjee, Mohamed Khaled
Let be any ordinal. We consider the class of relativized diagonal free set algebras of dimension . With same technique, we prove several important res…
Building relativized representations using games
Tarek Sayed Ahmed, Mohamed Khaled
We prove the celebrated representation theorem of Andreka-Resek-Thompson, together with its polyadic analogue by Ferenczi, using games as introduced in algebraic logic by Hirsch an…