29 citations · 42 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Stone type representation theorems via games
Tuğba Aslan, Mohamed Khaled
The classes of relativized relation algebras (whose units are not necessarily transitive as binary relations) are known to be finitely axiomatizable. In this article, we give a new…
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…