Vaught's conjecture via cylindric algebras /
Mohammad Assem Abdalqader Mahmoud
Vaught's conjecture via cylindric algebras / حدسية وت بالجبور الاسطوانية Mohammad Assem Abdalqader Mahmoud ; Supervised Tarek Sayed Ahmed - Cairo : Mohammad Assem Abdalqader Mahmoud , 2014 - 114 P. ; 25cm
Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics
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
Omitting types Substitution algebras Vaught's conjecture
Vaught's conjecture via cylindric algebras / حدسية وت بالجبور الاسطوانية Mohammad Assem Abdalqader Mahmoud ; Supervised Tarek Sayed Ahmed - Cairo : Mohammad Assem Abdalqader Mahmoud , 2014 - 114 P. ; 25cm
Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics
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
Omitting types Substitution algebras Vaught's conjecture