3 papers
math.LO2019
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…
math.LO2018
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…
math.LO2013
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…