Results 1 to 10 of about 30 (16)

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, M.T. Kassymetova, O.I. Ulbrikht   +2 more
doaj   +4 more sources

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

Existentially prime Jonsson quasivarieties and their Jonsson spectra [PDF]

Қарағанды университетінің хабаршысы. Математика сериясы, 2022
This article is devoted to the study of Jonsson quasivarieties in a signature enriched with new predicate and constant symbols. New concepts of semantic Jonsson quasivariety and fragment-conservativeness of the center of the Jonsson theory are ...
A. R. Yeshkeyev, I. O. Tungushbayeva, S. M. Amanbekov   +2 more
doaj   +4 more sources

On categoricity questions for universal unars and undirected graphs under semantic Jonsson quasivariety [PDF]

Қарағанды университетінің хабаршысы. Математика сериясы, 2023
The article is devoted to the study of semantic Jonsson quasivarieties of universal unars and undirected graphs. The first section of the article consists of basic necessary concepts from Jonsson model theory.
A.R. Yeshkeyev, A.R. Yarullina, S.M. Amanbekov   +2 more
doaj   +3 more sources

On Robinson spectrum of the semantic Jonsson quasivariety of unars [PDF]

Қарағанды университетінің хабаршысы. Математика сериясы, 2023
Given article is devoted to the study of semantic Jonsson quasivariety of universal unars of signature containing only unary functional symbol. The first section of the article consists of basic necessary concepts. There were defined new notions
A.R. Yeshkeyev, A.R. Yarullina, S.M. Amanbekov, M.T. Kassymetova   +3 more
doaj   +5 more sources

Double factorization of the Jonsson spectrum

Қарағанды университетінің хабаршысы. Математика сериясы
First of all, we have to note that in this article, we introduced the new concepts of relations between Jonsson theories in the class of cosemanticness for some considered Jonsson spectrum.
A.R. Yeshkeyev, O.I. Ulbrikht, M.T. Omarova   +2 more
doaj   +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, I.O. Tungushbayeva, A.K. Koshekova   +2 more
doaj   +2 more sources

Model-theoretic properties of J-superstable Jonsson theories in classes defined by cosemanticness

Қарағанды университетінің хабаршысы. Математика сериясы
This article deals with the problems of model-theoretic characterization of J-superstable Jonsson theories. The characteristic features of such theories are analyzed in terms of J-stability, J-P-superstability, and J-nonmultidimensionality.
A.R. Yeshkeyev, G.E. Zhumabekova, A.K. Issayeva   +2 more
doaj   +2 more sources

Model-theoretical questions of the Jonsson spectrum

Қарағанды университетінің хабаршысы. Математика сериясы, 2020
In this paper, new concepts are defined in the framework of the study of Jonsson spectrum. We consider a spectrum with respect to the concept of cosemanticness, which is a generalization of elementary equivalence in the class of inductive, generally ...
A.R. Yeshkeyev
doaj   +2 more sources

The costructure–cosemantics adjunction for comodels for computational effects [PDF]

Mathematical Structures in Computer Science, 2021
AbstractIt is well established that equational algebraic theories and the monads they generate can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory $\mathbb{T}$ – i.e., models in the opposite category $\mathcal{S}\mathrm{et}^{\mathrm{op}}$ – provide a suitable environment ...
openaire   +2 more sources