An algebra of the central types of the mutually model-consistent fragments

Show simple item record

dc.contributor.author Yeshkeyev, A.R.
dc.contributor.author Mussina, N.M.
dc.date.accessioned 2021-10-01T08:53:12Z
dc.date.available 2021-10-01T08:53:12Z
dc.date.issued 2021-03-30
dc.identifier.citation Yeshkeyev A.R. An algebra of the central types of the mutually model-consistent fragments/A.R. Yeshkeyev, N.M. Mussina//Қарағанды университетінің хабаршысы. Математика сериясы.= Вестник Карагандинского университета. Серия Математика. = Bulletin of the Karaganda University. Mathematics Series. -2021. №1. Р.111-118. ru_RU
dc.identifier.uri http://rep.ksu.kz/xmlui/handle/data/11149
dc.description.abstract In this paper, the model-theoretical properties of the algebra of central types of mutually model-consistent fragments are considered. Also, the connections between the center and the Jonsson theory in the permissible signature enrichment are shown, and within the framework of such enrichment, instead of some complete theory under consideration, we can obtain some complete 1-type, and we will call this type the central type, while the theories under consideration will be hereditary. Our work is divided into 3 sections: 1) the outer and inner worlds of the existentially closed model of the Jonsson theory (and the feature between these worlds is considered for two existentially closed models of this theory); 2) the -comparison of two existentially closed models (the Schroeder-Bernstein problem is adapted to the study of Jonsson theories in the form of a JSB-problem); 3) an algebra of central types (we carry over the results of Section 2 for the algebra (Fr(C); ), where C is the semantic model of the theory T). Also in this article, the following new concepts have been introduced: the outer and inner worlds of one existentially closed model of the same theory (as well as the world of this model), a totally model-consistent Jonsson theory. The main result of our work shows that the properties of the algebra of Jonsson theories for the product of theories are used as an application to the central types of fixed enrichment. And it is easy to see from the definitions of the product of theories and hybrids that these concepts coincide if the product of two Jonsson theories gives a Jonsson theory. ru_RU
dc.language.iso en ru_RU
dc.publisher KU Publ. ru_RU
dc.relation.ispartofseries Қарағанды университетінің хабаршысы. Математика сериясы.= Вестник Карагандинского университета. Серия Математика. = Bulletin of the Karaganda University. Mathematics Series.;№1(101)/2021
dc.subject Jonsson theory ru_RU
dc.subject central types ru_RU
dc.subject Ψ(x)-set ru_RU
dc.subject outer world ru_RU
dc.subject inner world ru_RU
dc.subject λ-comparison ru_RU
dc.subject totally modelconsistent theory ru_RU
dc.subject fragment ru_RU
dc.subject algebra of the central types ru_RU
dc.subject semantical model ru_RU
dc.title An algebra of the central types of the mutually model-consistent fragments ru_RU
dc.title.alternative Өзара модельді-үйлесімді фрагменттерінің централдық типтерінің алгебрасы ru_RU
dc.title.alternative Алгебра центральных типов взаимно модельно-совместных фрагментов ru_RU
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account