A neat embedding theorem for expansions of cylindric algebras T Sayed-Ahmed, B Samir Logic Journal of the IGPL 15 (1), 41-51, 2007 | 27 | 2007 |
An omitting types theorem for first order logic with infinitary relation symbols TS Ahmed, B Samir Mathematical Logic Quarterly 53 (6), 564-570, 2007 | 10 | 2007 |
An Omitting Types Theorem for first order logic with infinitary relation symbols T Sayed-Ahmed, B Samir | 9 | 2007 |
Neat embeddings and amalgamation TS Ahmed, B Samir Bulletin of the Section of Logic 35 (4), 163-171, 2006 | 7 | 2006 |
The Class S𝔑𝔯3CAk is Not Closed Under Completions T Sayed-Ahmed, B Samir Logic Journal of IGPL 16 (5), 427-429, 2008 | 6 | 2008 |
Varieties of algebras without the amalgamation property B Samir Communications in Algebra 43 (6), 2425-2436, 2015 | 3 | 2015 |
Classes of Algebras with the Amalgamation Property B Samir Universal Journal of Mathematics and Mathematical Sciences 6 (2), 75 - 119, 2014 | 3 | 2014 |
Amalgamation and Neat Embeddings in Algebraic Logic BS Labib Noor Publishing, 2017 | 2 | 2017 |
Applied neat reducts on some classes of algebras B Samir Indian Journal of Pure and Applied Mathematics 54 (4), 1132-1144, 2023 | | 2023 |
Implicative algebras and Heyting algebras can be residuated lattices B Samir, HH Merdach Journal of Progressive Research in Mathematics 12 (4), 2017 | | 2017 |
Strong Amalgamation in Systems of Varieties B Samir Communications in Algebra 44 (3), 1227-1235, 2016 | | 2016 |
The Class Snr (3) CA (k) is Not Closed Under Completions (vol 16, pg 427, 2008) T Sayed-Ahmed, B Samir | | 2009 |
States and Boolean algebra NN Mikhaeel, BS Labib Algebra Colloquium 15 (04), 649-652, 2008 | | 2008 |
The Class S T Sayed-Ahmed, B Samir | | 2008 |