Results 21 to 30 of about 15,119 (232)
Existentially closed fields with G-derivations [PDF]
, 2015 We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of these model companions.Comment: In version 2: new proof of (the current ...
Hoffmann, Daniel, Kowalski, Piotr
core +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
Chains of existentially closed models of positive (n1, n2)-Jonsson theories
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2019 In this article are considered model - theoretical properties of chains of positive ( n1,n2) - Jonsson theories. Herewith considered theories is perfect in the sense of the existence of appropriate model companion. The main obtained results are as follows: introduced new concepts n 2 - elimination of quantifier for positive theory, ( n1,n2) - Jonsson ...
A.R. Yeshkeyev, M.T. Omarova
openaire +2 more sources
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
The cosemanticness of Kaiser hulls of fixed classes of models
Қарағанды университетінің хабаршысы. Математика сериясыIn this article, within the framework of the study of Jonsson theories, the model-theoretic properties of cosemanticness classes belonging to the factor set of the Jonsson spectrum of an existentially closed models’ subclass of some Jonsson theory in a ...
A.R. Yeshkeyev +2 more
doaj +1 more source
An intrinsic order-theoretic characterization of the weak expectation property [PDF]
, 2017 We prove the following characterization of the weak expectation property for operator systems in terms of Wittstock's matricial Riesz separation property: an operator system $S$ satisfies the weak expectation property if and only if $M_{q}(S)$ satisfies ...
Lupini, Martino
core +2 more sources
The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?
Advanced Robotics Research, EarlyView.Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley +1 more source
Some properties of Morly rank over Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 This article introduced and discussed the concepts of minimal Jonsson sets and respectively strongly minimal Jonsson sets. On this basis, it introduces the concept of the independence of special subsets of existentially closed submodel of the semantic ...
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
EXISTENTIALLY CLOSED MODELS OF FIELDS WITH A DISTINGUISHED SUBMODULE
The Journal of Symbolic LogicThis paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings ...
d'Elbée, Christian +2 more
openaire +2 more sources