Results 21 to 30 of about 415 (244)
Existentially closed De Morgan algebras [PDF]
, 2020 We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is ℵ0-categorical and describe definable and algebraic closures in that theory.
Aslanyan, Vahagn
core +1 more source
An AEC framework for fields with commuting automorphisms [PDF]
, 2023 In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields.
Hyttinen, Tapani, Kangas, Kaisa
core +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
Use of a Heating System to Control the Probiotic Beverage Production in Batch Bioreactor
Applied Sciences, 2020 Fermentation is a crucial bioengineering process, existentially important for modern society. The most commonly used production unit for this process is the batch bioreactor. Its main advantage is unsophisticated construction, which unfortunately results
Jožef Ritonja +2 more
doaj +1 more source
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES [PDF]
, 2019 The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results, it has a model completion (whose models are the existen- tially closed structures).
GHILARDI, SILVIO, CARAI, LUCA
core +1 more source
Criterion for the cosemanticness of the Abelian groups in the enriched signature
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 In the present paper we give a criterion of the cosemanticness relative to the Jonsson spectrum of the model in the class of Abelian groups with a distinguished predicate.
A.R. Yeshkeyev +2 more
doaj +1 more source
Model-theoretic aspects of the Gurarij operator system [PDF]
, 2018 We establish some of the basic model theoretic facts about the Gurarij operator system GS recently constructed by the second-named author. In particular, we show: (1) GS is the unique separable 1-exact existentially closed operator system; (2) GS is the ...
Goldbring, Isaac +5 more
core +2 more sources
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
EXISTENTIALLY CLOSED MODELS OF FIELDS WITH A DISTINGUISHED SUBMODULE
The Journal of Symbolic LogicAbstract This article 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
Christian D'elbée +2 more
openaire +2 more sources
EXISTENTIALLY CLOSED FIELDS WITH DIFFERENCE/DIFFERENTIAL OPERATORS (Model theoretic aspects of the notion of independence and dimension) [PDF]
, 2023 We survey separably differentially closed fields and separable differential closure in comparison with differentially closed fields and differential closure.
INO, KAI
core