Vaught's conjecture via cylindric algebras / (Record no. 47988)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01664cam a2200325 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223031100.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 141027s2014 ua f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.12.17.M.Sc.2014.Mo.V |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Mohammad Assem Abdalqader Mahmoud |
| 245 10 - TITLE STATEMENT | |
| Title | Vaught's conjecture via cylindric algebras / |
| Statement of responsibility, etc. | Mohammad Assem Abdalqader Mahmoud ; Supervised Tarek Sayed Ahmed |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | حدسية {u٠٦ء٤}وت بالجبور الاسطوانية |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Mohammad Assem Abdalqader Mahmoud , |
| Date of publication, distribution, etc. | 2014 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 114 P. ; |
| Dimensions | 25cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Omitting types |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Substitution algebras |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Vaught's conjecture |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tarek Sayed Ahmed , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Samia |
| Reviser | Cataloger |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.12.17.M.Sc.2014.Mo.V | 01010110063888000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.12.17.M.Sc.2014.Mo.V | 01020110063888000 | 22.09.2023 | CD - Rom | 63888.CD |