Results 11 to 20 of about 15,119 (232)
On Rules and Parameter Free Systems in Bounded Arithmetic [PDF]
, 2007 We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.Ministerio de Educación y Ciencia MTM2005 ...
Cordón Franco, Andrés +2 more
core +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
On Kirchberg's Embedding Problem [PDF]
, 2015 Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local approximate nuclearity
Goldbring, Isaac, Sinclair, Thomas
core +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, Lupini, Martino
core +2 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 +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
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 models of the theory of artinian local rings [PDF]
Journal of Symbolic Logic, 1999 AbstractThe class of all Artinian local rings of length at most l is ∀2-elementary, axiomatised by a finite set of axioms τtl. We show that its existentially closed models are Gorenstein. of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form.
openaire +2 more sources
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