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 · 6 across the 36 of their papers we have counts for

collaborators

Showing 2020 · math.LOShow all

3 papers · 2 filters

math.LO2020★ 1 cited

Space and time via Topological and Tense cylindric algebras

Tarek Sayed Ahmed

Let $α$ be an arbritary ordinal, and $2 < n < ω$ . In \cite{3} accepted for publication in Quaestiones Mathematicae, we studied using algebraic logic, interpolation, amalgamation using…

math.LO2020

An infinite stratum of representability; some cylindric algebras are more representable than others

Tarek Sayed Ahmed

Let $2 < n < m \leq ω$ . Let $\CA_n$ denote the class of cylindric algebras of dimension $n$ and $\RCA_n$ denote the class of representable $\CA_n$s. We say that $\A\in \RCA_n$ is repres…

math.LO2020

Completely representable neat reducts

Tarek Sayed Ahmed

For an ordinal $α$ , $PE A_{α}$ denotes the class of polyadic equality algebras of dimension $α$ . We show that for several classes of algebras that are reducts of $\PEA_ω$ whose si…