000			01664cam a2200325 a 4500
003			EG-GiCUC
005			20250223031100.0
008			141027s2014 ua f m 000 0 eng d
040			_aEG-GiCUC _beng _cEG-GiCUC
041	0		_aeng
049			_aDeposite
097			_aM.Sc
099			_aCai01.12.17.M.Sc.2014.Mo.V
100	0		_aMohammad Assem Abdalqader Mahmoud
245	1	0	_aVaught's conjecture via cylindric algebras / _cMohammad Assem Abdalqader Mahmoud ; Supervised Tarek Sayed Ahmed
246	1	5	_aحدسية {u٠٦ء٤}وت بالجبور الاسطوانية
260			_aCairo : _bMohammad Assem Abdalqader Mahmoud , _c2014
300			_a114 P. ; _c25cm
502			_aThesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics
520			_aIn 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
530			_aIssued also as CD
653		4	_aOmitting types
653		4	_aSubstitution algebras
653		4	_aVaught's conjecture
700	0		_aTarek Sayed Ahmed , _eSupervisor
856			_uhttp://172.23.153.220/th.pdf
905			_aNazla _eRevisor
905			_aSamia _eCataloger
942			_2ddc _cTH
999			_c47988 _d47988