Conservative extension in various classes of complete theories models
| dc.contributor.author | Orynbasarov D. | |
| dc.date.accessioned | 2025-07-30T05:15:10Z | |
| dc.date.available | 2025-07-30T05:15:10Z | |
| dc.date.issued | 2019 | |
| dc.description.abstract | This thesis is devoted to the in-depth study of the Bektur Baizhanov's "conservative extension of models of weakly o-minimal theories" and the solution of the problem whether it is possible to determine through a conservative extension, nonlocally isolated type. I studied the concept of rational section quasi-rational section and irrational section, extension and elementary extension, orthogonality of types, basic properties of types. Notion of quasi-model (or Tarskii-Vaught type) and any types will be isolated or non-isolated and non-isolated type in turn divides by two kind. It's locally isolated (another word strictly definable) and non-locally isolated. Moreover any types will be definable and non-definable and any isolated type is definable. But is an non-isolated type definable? I was looking for the answer to that question and answered in this thesis. Using the concept of a control formula, I proved that a non-locally isolated type can be definable. | |
| dc.identifier.citation | Orynbasarov D / Conservative extension in various classes of complete theories models / 6M060100 - Department of Mathematics and Natural Sciences / 2019 | |
| dc.identifier.uri | https://repository.sdu.edu.kz/handle/123456789/1833 | |
| dc.language.iso | en | |
| dc.publisher | faculty of engineering and natural sciences | |
| dc.subject | weakly o-minimal theories | |
| dc.subject | Tarskii-Vaught type | |
| dc.subject | quantifiers | |
| dc.title | Conservative extension in various classes of complete theories models | |
| dc.type | Thesis |