Results 1 to 10 of about 15,119 (232)
Existentially Closed Models in the Framework of Arithmetic [PDF]
The Journal of Symbolic Logic, 2016 We prove that the standard cut is definable in each existentially closed model of IΔ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 ...
Adamowicz, Zofia +2 more
core +6 more sources
Existentially Closed Models and Conservation Results in Bounded Arithmetic [PDF]
Journal of Logic and Computation, 2009 We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based on a hierarchical version of the well-known notion of an existentially closed model.
Cordón Franco, Andrés +2 more
core +5 more sources
Almost Existentially Closed Models in Positive Logic
International Journal of Mathematics and Mathematical SciencesThis 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
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
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
Models of Bounded Arithmetic Theories and Some Related Complexity Questions
Bulletin of the Section of Logic, 2022 In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory \(
Abolfazl Alam, Morteza Moniri
doaj +1 more source
Қарағанды университетінің хабаршысы. Математика сериясы, 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 +2 more
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
Small models of hybrids for special subclasses of Jonsson 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, N.M. Mussina
doaj +1 more source