TY  - BOOK
AU  - Mohammad Assem Abdalqader Mahmoud
AU  - Tarek Sayed Ahmed , 
TI  - Vaught's conjecture via cylindric algebras / 
PY  - 2014///
CY  - Cairo : 
PB  - Mohammad Assem Abdalqader Mahmoud , 
KW  - Omitting types
KW  - Substitution algebras
KW  - Vaught's conjecture
N1  - Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics; Issued also as CD
N2  - In this thesis we consider the number of countable non isomorphic models (omitting a countable family of types) of a countable theory. We study vaught's conjecture for first order logic, as well as, its infinitary extensions. In the latter case we count what we call weak models. We also study omitting types for multi - dimensional modal logics which are natural reducts of first order logic. Here again, in the infinite dimensional case, we count the weak models (omitting types). In all cases of counting weak models, their number satises vaught's conjecture
UR  - http://172.23.153.220/th.pdf
ER  -