T. Ahmed

activity

20132020

most citedSplitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras

3 citations · 9 across the 57 of their papers we have counts for

collaborators

Showing 2019Show all

2 papers · 1 filter

math.LO2019

Non elementary classes of relation and cylindric algebras

Tarek Sayed Ahmed

For any pair of ordinals $α < β$ , $C A_{α}$ denotes the class of cylindric algebras of dimension $α$ , $RC A_{α}$ denote the class of representable $C A_{α}$ s and $N r_{α} C A_{β}$ ($…

math.LO2019

A universal approach to Omitting types for various multimodal and quantifier logics

Tarek Sayed Ahmed

We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existenti…