Results 1 to 10 of about 169 (99)

Chains of existentially closed models of positive (n1, n2)-Jonsson theories

Қарағанды университетінің хабаршысы. Математика сериясы, 2019
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.
A.R. Yeshkeyev, M.T. Omarova
doaj   +2 more sources

Almost Existentially Closed Models in Positive Logic

International Journal of Mathematics and Mathematical Sciences
This paper explores the concept of almost positively closed models in the framework of positive logic. To accomplish this, we initially define various forms of the positive amalgamation property, such as h-amalgamation and symmetric and asymmetric ...
Mohammed Belkasmi
doaj   +2 more sources

An algebra of the central types of the mutually model-consistent fragments

Қарағанды университетінің хабаршысы. Математика сериясы, 2021
In this paper, the model-theoretical properties of the algebra of central types of mutually model-consistent fragments are considered. Also, the connections between the center and the Jonsson theory in the permissible signature enrichment are shown, and
A.R. Yeshkeyev, N.M. Mussina
doaj   +1 more source

EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC [PDF]

The Journal of Symbolic Logic, 2016
AbstractWe prove that the standard cut is definable in each existentially closed model ofIΔ0+ exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.
Zofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín   +2 more
openaire   +4 more sources

Existentially Closed Models and Conservation Results in Bounded Arithmetic [PDF]

Journal of Logic and Computation, 2009
Junta de Andalucía TIC ...
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín   +2 more
openaire   +3 more sources

An essential base of the central types of the convex theory

Қарағанды университетінің хабаршысы. Математика сериясы, 2021
In this paper, we consider the model-theoretical properties of the essential base of the central types of convex theory. Also shows the connection between the center and Jonsson theory in permissible enrichment signatures.
A.R. Yeshkeyev, M.T. Omarova
doaj   +1 more source

Small models of convex fragments of definable subsets

Қарағанды университетінің хабаршысы. Математика сериясы, 2020
This article discusses the problems of that part of Model Theory that studies the properties of countable models of inductive theories with additional properties, or, in other words, Jonsson theories.
A.R. Yeshkeyev, N.V. Popova
doaj   +1 more source

Сore Jonsson theories

Қарағанды университетінің хабаршысы. Математика сериясы, 2020
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.
A.R. Yeshkeyev, А.К. Issaeva, N.V. Popova   +2 more
doaj   +1 more source

Method of the rheostat for studying properties of fragments of theoretical sets

Қарағанды университетінің хабаршысы. Математика сериясы, 2020
In this article discusses the model-theoretical properties of fragments of theoretical sets and the rheostat method. These two concepts: theoretical set and rheostat are new. The study of this topic in the framework of the study of Jonsson theories, the
A.R. Yeshkeyev
doaj   +1 more source

Connection of Jonsson theory with some Jonsson polygons theories

Қарағанды университетінің хабаршысы. Математика сериясы, 2019
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.
A.R. Yeshkeyev, G.A. Urken
doaj   +1 more source