Zobrazeno 1 - 10
of 133
pro vyhledávání: '"Tarek Sayed Ahmed"'
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
Autor:
Tarek Sayed Ahmed
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 2, Pp 145-154 (2024)
We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite. Let \(\bf Ord\) deno
Externí odkaz:
https://doaj.org/article/ef53230790c3494f97e69239419526b2
Autor:
Tarek Sayed Ahmed
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 3, Pp 411-453 (2022)
Let \(2
Externí odkaz:
https://doaj.org/article/01a199a43a0f45a6a0ee682adc55c11c
Autor:
Tarek Sayed Ahmed
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 4, Pp 465-511 (2021)
Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras. Let \(\mathbf{PA}_{\alpha}(\mathsf{PEA}
Externí odkaz:
https://doaj.org/article/6401f276a5fc4826bff340e487283973
Autor:
Tarek Sayed Ahmed
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 3, Pp 249-287 (2021)
Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensi
Externí odkaz:
https://doaj.org/article/8d320481a91e45349278b9c23c68ed3c
Autor:
Hossam Kamel Mahmoud, Gamaleldin Mohamed Fathy, Alaa Elhaddad, Omar Abdelrahman Fahmy, Mohamed Abdelmooti, Raafat Abdelfattah, Mahmoud Tarek Sayed Ahmed Bokhary
Publikováno v:
Mediterranean Journal of Hematology and Infectious Diseases, Vol 12, Iss 1 (2020)
Hematopoietic stem cell transplantation (HSCT) is now an established treatment modality with definitive indications for many hematological disorders. However, this line of treatment requires tremendous resources, and it becomes increasingly difficult
Externí odkaz:
https://doaj.org/article/71ab9e13848f46e2afd7b586d4368926
Notions of representability for cylindric algebras: some algebras are more representable than others
Autor:
Tarek Sayed Ahmed
Publikováno v:
Periodica Mathematica Hungarica. 86:343-377
The theory of cylindric algebras was introduced by Tarski in the fifties of the twentieth century, and its intensive study was further pursued by pioneers such as Henkin and Monk and, by the Hungarian mathematicians Andréka, Németi and Sain, and ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4f92d5f3f49bfa81613531a90e2e736
https://doi.org/10.1007/s10998-022-00477-3
https://doi.org/10.1007/s10998-022-00477-3
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:
Omar Ossman, Tarek Sayed Ahmed
Publikováno v:
JP Journal of Algebra, Number Theory and Applications. :217-233
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::371350f62566e3a77bba9077e489020e
https://doi.org/10.17654/nt047020217
https://doi.org/10.17654/nt047020217
Autor:
Tarek Sayed Ahmed
Publikováno v:
Journal of Applied Non-Classical Logics. 30:223-271
Fix 2 < n < ω and let C A n denote the class of cylindric algebras of dimension n. Roughly, C A n is the algebraic counterpart of the proof theory of first-order logic restricted to the first n var...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a073e0a6ece82485675b8c1ac7d415de
https://doi.org/10.1080/11663081.2020.1801967
https://doi.org/10.1080/11663081.2020.1801967
Autor:
Tarek Sayed Ahmed
Publikováno v:
JP Journal of Algebra, Number Theory and Applications. 47:99-119
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39c4b269485c57d67763d572f0210352
https://doi.org/10.17654/nt047010099
https://doi.org/10.17654/nt047010099