Open AccessSmall models of convex fragments of definable subsets
Author(s) -
A.R. Yeshkeyev,
N.V. Popova
Publication year - 2020
Publication title -
ķaraġandy universitetìnìn̦ habaršysy. matematika seriâsy
Language(s) - English
Resource type - Journals
eISSN - 2663-5011
pISSN - 2518-7929
DOI - 10.31489/2020m4/160-167
Subject(s) - mathematics , countable set , model theory , regular polygon , convexity , core (optical fiber) , class (philosophy) , pure mathematics , mathematical economics , discrete mathematics , computer science , geometry , artificial intelligence , financial economics , economics , telecommunications
This article discusses the problems of that part of Model Theory that studies the properties of countable models of inductive theories with additional properties, or, in other words, Jonsson theories. The characteristic features are analyzed on the basis of a review of works devoted to research in the field of the study of Jonsson theories and enough examples are given to conclude that the vast area of Jonsson theories is relevant to almost all branches of algebra. This article also discusses some combinations of Jonsson theories, presents the concepts of Jonsson theory, elementary theory, core Jonsson theories, as well as their combinations that admit a core model in the class of existentially closed models of this theory. The concepts of convexity, perfectness of theory semantic model, existentially closed model, algebraic primeness of model of the considered theory, as well as the criterion of perfection and the concept of rheostat are considered in this article. On the basis of the research carried out, the authors formulated and proved a theorem about the (∇1, ∇2) − cl coreness of the model for some perfect, convex, complete for existential sentences, existentially prime Jonsson theory T.