Results 11 to 20 of about 12,653 (220)
Small models of convex fragments of definable subsets
Қарағанды университетінің хабаршысы. Математика сериясы, 2020 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.
A.R. Yeshkeyev, N.V. Popova
doaj +1 more source
Қарағанды университетінің хабаршысы. Математика сериясы, 2020 The article concerns the description the new concept as core of Jonsson theories, also their combinations, which admit a core model in the class of existentially closed models of this theory.
A.R. Yeshkeyev +2 more
doaj +1 more source
Method of the rheostat for studying properties of fragments of theoretical sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2020 In this article discusses the model-theoretical properties of fragments of theoretical sets and the rheostat method. These two concepts: theoretical set and rheostat are new. The study of this topic in the framework of the study of Jonsson theories, the
A.R. Yeshkeyev
doaj +1 more source
Connection of Jonsson theory with some Jonsson polygons theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 This article presents the result related to the model - theoretic properties of special subsets of the semantic model of some fixed Jonsson theory. The specialty of these sets is due to their definability and closure.
A.R. Yeshkeyev, G.A. Urken
doaj +1 more source
Embedded Picard-Vessiot extensions [PDF]
, 2017 We prove that if T is a theory of large, bounded, fields of characteristic zero, with almost quantifier elimination, and T_D is the model companion of T + "D is a derivation", then for any model U of T_D, and differential subfield K of U whose field of ...
Brouette, Quentin +3 more
core +2 more sources
Small models of hybrids for special subclasses of Jonsson theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 This article presents the result related to the model - theoretic properties of special subsets of the semantic model of some fixed Jonsson theory. The specialty of these sets is due to their definability and closure.
A.R. Yeshkeyev, N.M. Mussina
doaj +1 more source
The property of independence for Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 The studies carried out in this article are connected with the description of model - theoretic properties of some, generally speaking, incomplete classes of theories that make a subclass of inductive theories.
A.R. Yeshkeyev
doaj +1 more source
The properties of central-orbital types of EPSCJ theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 This article, in its content, refers to the study of the theoretical - model properties of the Jonsson theories. A new approach to this study is proposed. As a new notion, the idea of a central - orbital type is used.
A.R. Yeshkeyev
doaj +1 more source
Definable henselian valuation rings [PDF]
, 2014 We give model theoretic criteria for $\exists \forall$ and $\forall \exists$- formulas in the ring language to define uniformly the valuation rings $\mathcal{O}$ of models $(K, \mathcal{O})$ of an elementary theory $\Sigma$ of henselian valued fields. As
Prestel, Alexander
core +1 more source
A definable henselian valuation with high quantifier complexity [PDF]
, 2015 We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free $\forall\exists$-formula nor by a parameter-free $\exists\forall$-formula in the language of rings.
Halupczok, Immanuel, Jahnke, Franziska
core +2 more sources