Results 1 to 10 of about 80,814 (154)
Forcing companions of Jonsson AP-theories [PDF]
This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constant symbols to the language.
A.R. Yeshkeyev +2 more
doaj +4 more sources
Сompanions of (n1, n2)-Jonsson theory
In given work are considered model - theoretical properties of companions of (n1; n2) - Jonsson theory. Also were considered a communications between center and (n1; n2) - Jonsson theory. Herewith considered theories is perfect in the sense of the existence of appropriate model companion.
A.R. Yeshkeyev, M.T. Omarova
openaire +3 more sources
Chains of existentially closed models of positive (n1, n2)-Jonsson theories
In this article are considered model - theoretical properties of chains of positive ( n1,n2) - Jonsson theories. Herewith considered theories is perfect in the sense of the existence of appropriate model companion. The main obtained results are as follows: introduced new concepts n 2 - elimination of quantifier for positive theory, ( n1,n2) - Jonsson ...
A.R. Yeshkeyev, M.T. Omarova
openaire +3 more sources
Central types of convex fragments of the perfect Jonsson theory
In this paper, the central types of convex fragments of the perfect Jonsson theory are considered. The main goal of this paper is to redefine the A.D. Taimanov’s question for complete theories in the sphere of Jonsson fragments of formula -definable subsets of a Jonsson fixed theory’s semantic model.
A.R. Yeshkeyev, M.T. Omarova
openaire +3 more sources
Connection of Jonsson theory with some Jonsson polygons theories
This article presents the result related to the model - theoretic properties of special subsets of the semantic model of some fixed Jonsson theory. The specialty of these sets is due to their definability and closure. Further, we consider fragments of these sets and create a hybrid of these fragments from them.
A.R. Yeshkeyev, G.A. Urken
openaire +3 more sources
The article concerns the description the new concept as core of Jonsson theories, also their combinations, which admit a core model in the class of existentially closed models of this theory. Along with core the property of an existentially algebraically prime theory is considered as an additional property to core Jonsson theory.
A.R. Yeshkeyev +2 more
openaire +3 more sources
Independence and simplicity in Jonsson theories with abstract geometry
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yeshkeyev, Aibat Rafhatovich +2 more
openaire +3 more sources
Properties of hybrids of Jonsson theories
This work is an introduction to the study of the properties of a new concept, as a hybrid of Jonsson theories. We define the basic concepts and framework for studying the model-theoretic properties of these concepts. The main goal of this paper is to study the model-theoretic properties of companions of hybrids of Jonsson theories.
A.R. Yeshkeyev, N.M. Mussina
openaire +2 more sources
The admissibility and similarity of Jonsson theories
This work is related to the concepts of admissibility, interpretability, syntactic similarity and semantic similarity of Jonsson’s theories.This new concept generalize the notion of syntactic and semantic similarities for Jonsson theories. In the frame of study of preservation of the definable formulas subsets of Jonsson theory’s semantic model ...
A.R. Yeshkeyev, G.A. Urken
openaire +2 more sources
Small models of hybrids for special subclasses of Jonsson theories
This article presents the result related to the model - theoretic properties of special subsets of the semantic model of some fixed Jonsson theory. The specialty of these sets is due to their definability and closure. Further, we consider fragments of these sets and create a hybrid of these fragments from them.
A.R. Yeshkeyev, N.M. Mussina
openaire +2 more sources

