Results 1 to 10 of about 18,574 (158)
About central types and the cosemanticness of the ∆-PM fragment of the Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 This article is concerned with the enrichment of the signature. In own time, when studying the stability of the theory and the concept of an elementary pair of models, Mustafin T.G.
A.R. Yeshkeyev
doaj +4 more sources
Forking and independence for fragments of Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 The concept of independence plays a very important role in Model Theory for classification of a fixed complete theory. In this paper, we study the Jonsson theories, which, generally speaking, are not complete.
O.I. Ulbrikht
doaj +2 more sources
On lattice of existential formulas for fragment of Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This paper its content associated with the study of model - theoretic properties of Jonsson theories and their semantic models. In particular, considering Jonsson sets concerning of their definable circuit described fragments and their relationship to ...
A.R. Yeshkeyev, O.I. Ulbrikht
doaj +1 more source
Geometry of strongly minimal hybrids of fragments of theoretical sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 In this article, strongly minimal geometries of fragment hybrids are considered. In this article, a new concept was introduced as a family of Jonsson definable subsets of the semantic model of the Jonsson theory T, denoted by JDef(CT).
M.T. Kassymetova, N.M. Mussina
doaj +1 more source
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems [PDF]
, 2006 We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual convergence of
A. Arnold +25 more
core +2 more sources
, 2014 This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a ...
Baier C. +9 more
core +9 more sources
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
The properties of central types with respect to enrichment by Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 The main results of the article are for a new class of theories, namely existential prime strongly convex Jonsson theories. This class is quite broad in terms of algebra, for example it includes the class of all Abelian groups and groups.
A.R. Yeshkeyev
doaj +1 more source
Syntactic similarity of definable closures of Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 In the framework of the classification of the Jonsson theories concept of interpretability and admissibility in the language of the semantic triple of the Jonsson theory was considered.
G.A. Urken
doaj +1 more source
Incorporating a mucosal environment in a dynamic gut model results in a more representative colonization by lactobacilli [PDF]
, 2011 To avoid detrimental interactions with intestinal microbes, the human epithelium is covered with a protective mucus layer that traps host defence molecules. Microbial properties such as adhesion to mucus further result in a unique mucosal microbiota with
Derde, Melanie +10 more
core +2 more sources