Open AccessConnection between the amalgam and joint embedding properties
Author(s) -
A.R. Yeshkeyev,
I.O. Tungushbayeva,
M.T. Kassymetova
Publication year - 2022
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/2022m1/127-135
Subject(s) - mathematics , embedding , context (archaeology) , connection (principal bundle) , differential (mechanical device) , zero (linguistics) , pure mathematics , mathematical analysis , physics , computer science , geometry , thermodynamics , paleontology , linguistics , philosophy , artificial intelligence , biology
The paper aims to study the model-theoretic properties of differentially closed fields of zero and positive characteristics in framework of study of Jonsson theories. The main attention is paid to the amalgam and joint embedding properties of DCF theory as specific features of Jonsson theories, namely, the implication of JEP from AP. The necessity is identified and justified by importance of information about the mentioned properties for certain theories to obtain their detailed model-theoretic description. At the same time, the current apparatus for studying incomplete theories (Jonsson theories are generally incomplete) is not sufficiently developed. The following results have been obtained: The subclasses of Jonsson theories are determined from the point of view of joint embedding and amalgam properties. Within the exploration of one of these classes, namely the AP-theories, that the theories of differential and differentially closed fields of characteristic 0, differentially perfect and differentially closed fields of fixed positive characteristic are shown to be Jonsson and perfect. Along with this, the theory of differential fields of positive characteristic is considered as an example of an AP-theory that is not Jonsson, but has the model companion, which is perfect Jonsson theory, and the sufficient condition for the theory of differential fields is formulated in the context of being Jonsson.