29 citations · 42 across the 7 of their papers we have counts for
10 papers
On the networks of large embeddings
Tuğba Aslan, Mohamed Khaled, Gergely Székely
We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably co…
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…
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…
Weak Godel's incompleteness property for some decidable versions of first order logic
Mohamed Khaled
The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let . The classes of non…
Weak Godel's incompleteness property for some decidable versions of the calculus of relations
Mohamed Khaled
Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this…
General normal forms for any additive logic
Mohamed Khaled
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not…
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…