Login / Signup
Basim Samir
ORCID
Publication Activity (10 Years)
Years Active: 2007-2008
Publications (10 Years): 0
</>
Publications
</>
Tarek Sayed Ahmed
,
Basim Samir
is Not Closed Under Completions.
Log. J. IGPL
16 (5) (2008)
Tarek Sayed Ahmed
,
Basim Samir
A Neat Embedding Theorem for Expansions of Cylindric Algebras.
Log. J. IGPL
15 (1) (2007)
Tarek Sayed Ahmed
,
Basim Samir
An Omitting Types Theorem for first order logic with infinitary relation symbols.
Math. Log. Q.
53 (6) (2007)