3 citations · 5 across the 4 of their papers we have counts for
5 papers
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…
On substitution algebras of permutations
Mohammad Assem
The subject of this paper is a simulation to that in [1] but here we consider substitutions corresponding to transpositions instead of replacements.
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…
Distinguishing Models by Formulas and the Number of Countable Models
Mohammad Assem
We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of re…
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…