Showing 1–6 of 6 results for author: Assem, M

Morley's theorem and Vaught's conjecture via Algebraic logic

Authors: M. Assem, T. S. Ahmed, G. Sági, D. Sziráki

Abstract: Vaught's Conjecture states that if $T$ is a complete first order theory in a countable language that has more than $\aleph_0$ pairwise non-isomorphic countably infinite models, then $T$ has $2^{\aleph_0}$ such models. Morley showed that if $T$ has more than $\aleph_1$ pairwise non-isomorphic countably infinite models, then it has $2^{\aleph_0}$ such models.\\ In this paper, we re-prove Morley's re… ▽ More Vaught's Conjecture states that if $T$ is a complete first order theory in a countable language that has more than $\aleph_0$ pairwise non-isomorphic countably infinite models, then $T$ has $2^{\aleph_0}$ such models. Morley showed that if $T$ has more than $\aleph_1$ pairwise non-isomorphic countably infinite models, then it has $2^{\aleph_0}$ such models.\\ In this paper, we re-prove Morley's result and prove the corresponding statement for languages without equality, and for theories which are not necessarily complete. Our proof uses algebraic logic, namely the representation theory of cylindric and quasi-polyadic algebras. Also, as in Morley's proof, we use results from descriptive set theory. After all this, we show that our proof can be modified to talk about the number of models omitting a certain family of types. \end{abstract} △ Less

Submitted 20 November, 2018; v1 submitted 4 November, 2018; originally announced November 2018.

Comments: There is an error in the authors of the paper. G. Sagi and D. Sziráki are not co-authors

On substitution algebras of permutations

Authors: Mohammad Assem

Abstract: The subject of this paper is a simulation to that in [1] but here we consider substitutions corresponding to transpositions instead of replacements. The subject of this paper is a simulation to that in [1] but here we consider substitutions corresponding to transpositions instead of replacements. △ Less

Submitted 16 July, 2013; originally announced July 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1302.3043

An instance of Vaught's conjecture using algebraic logic

Authors: Mohammed Assem, Tarek Sayed Ahmed

Abstract: Let φbe a first order formula and M be a countable model. φ^M denotes the set of all assignments that satisfy φin M. Let M, N be countable models. A formula φdistinguishes these models if |φ^M|\neq |φ^N|. We show that the number of distinguishable countable models for a complete countable first order theory, satisfies the Glimm Effross dichotomy, hence also Vaught's conjecture. The proof in the pr… ▽ More Let φbe a first order formula and M be a countable model. φ^M denotes the set of all assignments that satisfy φin M. Let M, N be countable models. A formula φdistinguishes these models if |φ^M|\neq |φ^N|. We show that the number of distinguishable countable models for a complete countable first order theory, satisfies the Glimm Effross dichotomy, hence also Vaught's conjecture. The proof in the presence of equality is fairly easy, though we need infinite conjunctions to implement it and somewhat heavy theorems from descriptive set theory. However, the case without equality seems to be much more difficult (because we cannot count without equality) and in this case algebraic logic comes to our rescue via the representation theory of locally finite quasi polyadic algebras. We show that the equivalence relation induced by such (indistinguishable) models is a Borel subset of the product of the Stone Polish space (consisting of ultarfilters corresponding to models) with itself. We also formuate and prove a Vaught's theorem for certian infinitary extensions of first order logic via the representation theory of dimension complemented algebras. In all case we also count the number of non isomorphic models omitting < covK many non isolated types (the latter is the least cardinal such that the Baire Category theorem fails and also the largest cardinal such tha Martin's axiom restrcited to countable Boolean algebra hold.) In such cases, for locally finite algebras and dimension complemented ones we obtain the same number of non-ismorphic distinguishable models. △ Less

Submitted 3 April, 2013; originally announced April 2013.

Comments: arXiv admin note: text overlap with arXiv:1304.0619

On the multi dimensional modal logic of substitutions

Authors: Tarek Sayed Ahmed, Mohammad Assem

Abstract: 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 inner structure. The states will be sequences. Our approach is algebraic addressing (varieties generated by) complex algebras of Kripke semantics for such logic. Those algebras, whose elements are sets of states are commo… ▽ More 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 inner structure. The states will be sequences. Our approach is algebraic addressing (varieties generated by) complex algebras of Kripke semantics for such logic. Those algebras, whose elements are sets of states are common reducts of cylindric and polyadic algebras △ Less

Submitted 13 February, 2013; originally announced February 2013.

Distinguishing Models by Formulas and the Number of Countable Models

Authors: Mohammad Assem

Abstract: 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 realizations each gives for some formula. Being non-distinguishable turns out to be an interesting equivalence relation that is weaker than isomorphism and stronger than elementary equivalence. We show that this equivalenc… ▽ More 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 realizations each gives for some formula. Being non-distinguishable turns out to be an interesting equivalence relation that is weaker than isomorphism and stronger than elementary equivalence. We show that this equivalence relation is Borel in a Polish space that codes countable structures. It then follows, without assuming the Continuum Hypothesis, that for any first order theory in a countable language, if it has an uncountable set of countable models that are pairwise distinguishable, then actually it has such a set of continuum size. We show also, as an easy consequence of our results, that Vaught's conjecture holds for the language with only one unary relation symbol. △ Less

Submitted 24 April, 2013; v1 submitted 6 January, 2013; originally announced January 2013.

Separating Models by Formulas and the Number of Countable Models

Authors: Mohammad Assem

Abstract: 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 order theory $T$ in a countable language, if it has an uncountable set of countable models that are pairwise separable, then actually it has such a set of size $2^{\aleph_0}$. Our result follows trivially assuming the Co… ▽ More 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 order theory $T$ in a countable language, if it has an uncountable set of countable models that are pairwise separable, then actually it has such a set of size $2^{\aleph_0}$. Our result follows trivially assuming the Continuum Hypothesis ($CH$). We work here in $ZFC$ (only without $CH$). △ Less

Submitted 27 November, 2012; v1 submitted 23 November, 2012; originally announced November 2012.