Browsing by Author "Orynbasarov D."
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Open Access Conservative extension in various classes of complete theories models(faculty of engineering and natural sciences, 2019) Orynbasarov D.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.