header
Local cover image
Local cover image
Image from OpenLibrary

Vaught's conjecture via cylindric algebras / Mohammad Assem Abdalqader Mahmoud ; Supervised Tarek Sayed Ahmed

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Cairo : Mohammad Assem Abdalqader Mahmoud , 2014Description: 114 P. ; 25cmOther title:
  • حدسية {u٠٦ء٤}وت بالجبور الاسطوانية [Added title page title]
Subject(s): Online resources: Available additional physical forms:
  • Issued also as CD
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics Summary: 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Copy number Status Barcode
Thesis Thesis قاعة الرسائل الجامعية - الدور الاول المكتبة المركزبة الجديدة - جامعة القاهرة Cai01.12.17.M.Sc.2014.Mo.V (Browse shelf(Opens below)) Not for loan 01010110063888000
CD - Rom CD - Rom مخـــزن الرســائل الجـــامعية - البدروم المكتبة المركزبة الجديدة - جامعة القاهرة Cai01.12.17.M.Sc.2014.Mo.V (Browse shelf(Opens below)) 63888.CD Not for loan 01020110063888000

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

Issued also as CD

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image