Results 21 to 30 of about 305,109 (261)
Strongly minimal Jonsson sets and their properties
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This article introduced and considered the Johnson sets and their fragments. And respectively was considered strongly minimal Jonsson sets. On this basis, introduced the concept of the independence of special subsets of existentially closed submodel of ...
A.R. Yeshkeyev
doaj +2 more sources
Recursive functions and existentially closed structures [PDF]
Journal of Mathematical Logic, 2017 The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory [Formula: see text] in which all partially recursive functions are representable, yet ...
Emil Jerábek
semanticscholar +1 more source
Models of Bounded Arithmetic Theories and Some Related Complexity Questions
Bulletin of the Section of Logic, 2022 In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory \(
Abolfazl Alam, Morteza Moniri
doaj +1 more source
TWO PROPERTIES OF EXISTENTIALLY CLOSED COMPANIONS OF STRONGLY MINIMAL STRUCTURES
, 2020 The proposed article studies some properties of existentially closed companions of strongly minimal structures. A criterion for the existential closedness of an arbitrary strongly minimal structure is found in the article and it is proved that the ...
M. Kalimoldayev +2 more
semanticscholar +1 more source
Existentially closed fields with G‐derivations [PDF]
Journal of the London Mathematical Society, 2014 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.
D. Hoffmann, Piotr Kowalski
semanticscholar +1 more source
An essential base of the central types of the convex theory
Қарағанды университетінің хабаршысы. Математика сериясы, 2021 In this paper, we consider the model-theoretical properties of the essential base of the central types of convex theory. Also shows the connection between the center and Jonsson theory in permissible enrichment signatures.
A.R. Yeshkeyev, M.T. Omarova
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
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
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
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