Connection between the amalgam and joint embedding properties

2022

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.31489/2022m1/127-135
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

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.