Results 1 to 10 of about 59 (34)
Criterion for the cosemanticness of the Abelian groups in the enriched signature [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 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 +6 more sources
About central types and the cosemanticness of the ∆-PM fragment of the Jonsson set [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 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 +5 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 +2 more
doaj +6 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 +2 more
doaj +7 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 +3 more
doaj +6 more sources
A fragment of a theoretical set and its strongly minimal central type [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 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 +6 more sources
Similarities of Jonsson spectra’s classes [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 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 +2 more
doaj +3 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 +2 more
doaj +2 more sources
$JSp$-cosemanticness of $R$-modules
Sibirskie Elektronnye Matematicheskie Izvestiya, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eshkeev, Aĭbat Rafkhatovich +1 more
core +5 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