3 citations · 3 across the 1 of their papers we have counts for
3 papers
math.LO2018
Morley's theorem and Vaught's conjecture via Algebraic logic
M. Assem, T. S. Ahmed, G. Sági +1
Vaught's Conjecture states that if is a complete first order theory in a countable language that has more than pairwise non-isomorphic countably infinite models, the…
math.LO2013
On the multi dimensional modal logic of substitutions
Tarek Sayed Ahmed, Mohammad Assem
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an i…
math.LO2012★ 3 cited
Separating Models by Formulas and the Number of Countable Models
Mohammad Assem
We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first…