Zobrazeno 1 - 10
of 217
pro vyhledávání: '"Ahmed, Tarek Sayed"'
Autor:
Ahmed, Tarek Sayed1 rutahmed@gmail.com
Publikováno v:
Bulletin of the Section of Logic. Jun2024, Vol. 53 Issue 2, p145-154. 10p.
Autor:
Ahmed, Tarek Sayed
Let $\alpha$ be an arbritary ordinal, and $2
Externí odkaz:
http://arxiv.org/abs/2006.03421
Autor:
Ahmed, Tarek Sayed
For an ordinal $\alpha$, $\sf PEA_{\alpha}$ denotes the class of polyadic equality algebras of dimension $\alpha$. We show that for several classes of algebras that are reducts of $\PEA_{\omega}$ whose signature contains all substitutions and finite
Externí odkaz:
http://arxiv.org/abs/2003.03245
Autor:
Ahmed, Tarek Sayed
For any pair of ordinals $\alpha<\beta$, $\sf CA_\alpha$ denotes the class of cylindric algebras of dimension $\alpha$, $\sf RCA_{\alpha}$ denote the class of representable $\sf CA_\alpha$s and $\sf Nr_\alpha CA_\beta$ ($\sf Ra CA_\beta)$ denotes the
Externí odkaz:
http://arxiv.org/abs/1912.12182
Autor:
Ahmed, Tarek Sayed
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 existential quantifiers with modalities syntactically and semantically) exhibit
Externí odkaz:
http://arxiv.org/abs/1912.12114
Autor:
Ahmed, Tarek Sayed
We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's tenth problem, G\"odel's incompleteness theorem, and Turing's halting
Externí odkaz:
http://arxiv.org/abs/1812.00990
Autor:
Khaled, Mohamed, Ahmed, Tarek Sayed
In this paper, we give new proofs of the celebrated Andr\'eka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that
Externí odkaz:
http://arxiv.org/abs/1811.02327
Autor:
Ahmed, Tarek Sayed
Fix 2n, Nr_n\CA_m(\subseteq CA_n) denotes the class of n-neat reducts of CA_m's. The existence of c
Externí odkaz:
http://arxiv.org/abs/1608.03513
Autor:
Ahmed, Tarek Sayed
Publikováno v:
Bulletin of the Section of Logic. 50(3):249-287
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=999582