Results 1 to 10 of about 12,653 (220)
Almost Existentially Closed Models in Positive Logic [PDF]
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 +3 more sources
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.
Adamowicz, Zofia +2 more
core +8 more sources
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 +3 more sources
Existentially Closed Models and Conservation Results in Bounded Arithmetic [PDF]
Journal of Logic and Computation, 2009 Junta de Andalucía TIC ...
Cordón Franco, Andrés +2 more
core +7 more sources
Existentially closed models of the theory of artinian local rings [PDF]
Journal of Symbolic Logic, 1999 AbstractThe class of all Artinian local rings of length at most l is ∀2-elementary, axiomatised by a finite set of axioms τtl. We show that its existentially closed models are Gorenstein. of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form.
Hans Schoutens
+6 more sources
Existentially closed models and locally zero-dimensional toposes [PDF]
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as the fact that every model admits a homomorphism to an existentially closed one.
Kamsma, Mark, Wrigley, Joshua
openaire +3 more sources
EXISTENTIALLY CLOSED MODELS OF FIELDS WITH A DISTINGUISHED SUBMODULE
The Journal of Symbolic LogicThis paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings ...
d'Elbée, Christian +2 more
openaire +3 more sources
A study on generic structures, existentially closed models, and random bijections [PDF]
, 2011 筑波大学University of Tsukuba博士（数学）Doctor of Mathematics2010【要旨 ...
勇希 安保
openalex +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
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