Results 1 to 10 of about 22 (15)

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   +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, M.T. Kassymetova, O.I. Ulbrikht   +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

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   +2 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   +3 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   +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

A fragment of a theoretical set and its strongly minimal central type

Қарағанды университетінің хабаршысы. Математика сериясы, 2023
The paper defines a new class of algebras, the theory of which is a special case of Jonsson theories. This class applies to both varieties and Jonsson theories. The main results of this article are the following two results.
O.I. Ulbrikht, N.V. Popova
doaj   +1 more source

Similarities of Jonsson spectra’s classes

Қарағанды университетінің хабаршысы. Математика сериясы, 2023
The study of syntactic and semantic properties of a first-order language, generally speaking, for incomplete theories, is one of the urgent problems of mathematical logic.
A.R. Yeshkeyev, O.I. Ulbrikht, G.A. Urken   +2 more
doaj   +1 more source