Results 11 to 20 of about 305,109 (261)
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES [PDF]
Journal of Symbolic Logic (JSL), 2017 The variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion (whose models are the existentially closed structures).
L. Carai, S. Ghilardi
semanticscholar +3 more sources
Existentially closed fields with finite group actions [PDF]
Journal of Mathematical Logic, 2016 We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense.
D. Hoffmann, Piotr Kowalski
semanticscholar +2 more sources
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 +3 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 +3 more sources
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 +3 more sources
Imaginaries and invariant types in existentially closed valued differential fields [PDF]
Journal für die Reine und Angewandte Mathematik, 2015 We answer three related open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduced by Haskell, Hrushovski and Macpherson and that they have the
Silvain Rideau
semanticscholar +2 more sources
Қарағанды университетінің хабаршысы. Математика сериясы, 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 +3 more sources
Existentially closed models and locally zero-dimensional toposes
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as the fact that every model admits a homomorphism to an existentially closed one.
Kamsma, Mark, Wrigley, Joshua
openaire +3 more sources
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 +3 more sources
Convex fragmens of strongly minimal Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This article introduced and discussed the concepts of minimal Jonsson sets and respectively strongly minimal Jonsson sets. On this basis, we introduce the concept of independence of special subsets of existentially closed submodel of semantic model. The
A.R. Yeshkeyev
doaj +2 more sources