3 citations · 6 across the 35 of their papers we have counts for
39 papers · 1 filter
Space and time via Topological and Tense cylindric algebras
Tarek Sayed Ahmed
Let be an arbritary ordinal, and . In \cite{3} accepted for publication in Quaestiones Mathematicae, we studied using algebraic logic, interpolation, amalgamation using…
An infinite stratum of representability; some cylindric algebras are more representable than others
Tarek Sayed Ahmed
Let . Let $\CA_n$ denote the class of cylindric algebras of dimension and $\RCA_n$ denote the class of representable $\CA_n$s. We say that $\A\in \RCA_n$ is repres…
Completely representable neat reducts
Tarek Sayed Ahmed
For an ordinal , denotes the class of polyadic equality algebras of dimension . We show that for several classes of algebras that are reducts of $\PEA_ω$ whose si…
Non elementary classes of relation and cylindric algebras
Tarek Sayed Ahmed
For any pair of ordinals , denotes the class of cylindric algebras of dimension , denote the class of representable s and ($…
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…
Hilbert's tenth problem, Gödel's incompleteness, Halting problem, a unifying perspective
Tarek Sayed Ahmed
We formulate a property on a class of relations on the natural numbers, and formulate a general theorem on , from which we get as corollaries the insolvability of Hilbert's…