3 citations · 9 across the 57 of their papers we have counts for
5 papers · 1 filter
Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic
Tarek Sayed Ahmed
Fix a finite ordinal n>2. We show that there exists an atomic, simple and countable representable CA_n, such that its minimal completion is outside SNr_nCA_{n+3}. Hence, for any fi…
Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras
Tarek Sayed Ahmed
We study what we call topological cylindric algebras and tense cylindric algebras defined for every ordinal . The former are cylindric algebras of dimension expanded with $\…
Amalgamation, interpolation and congruence extension properties in topological cylindric algebras
Tarek Sayed Ahmed
Topological cylindric algebras of dimension α, αany ordinal are cylindric algebras with dimension αexpanded with αS4 modalities. The S4 modalities in representable algebras are ind…
Algebraisable versions of predicate topological logic
Tarek Sayed Ahmed
Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric rel…
Dedekind completions, neat embeddings and omitting types
Tarek Sayed Ahmed
Let n be finite >2. We show that any class between S\Nr_n\CA_{n+3} and RCA_n is not atom canonical, and any class containing the class of completely representable algebras and cont…