Results 11 to 20 of about 415 (244)
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
The property of independence for Jonsson sets [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 The studies carried out in this article are connected with the description of model - theoretic properties of some, generally speaking, incomplete classes of theories that make a subclass of inductive theories.
A.R. Yeshkeyev
doaj +3 more sources
Chains of existentially closed models of positive (n1, n2)-Jonsson theories [PDF]
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 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. 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 +4 more sources
Model companion properties of some theories [PDF]
Қарағанды университетінің хабаршысы. Математика сериясыThe class K of algebraic systems of signature σ is called a formula-definable class if there exists an algebraic system A of signature σ such that for any algebraic system B of signature σ it is B ∈ K if and only if Th(B) · Th(A) = Th(A).
А. Кабиденов +3 more
doaj +3 more sources
Convex fragmens of strongly minimal Jonsson sets [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This article introduced and discussed the concepts of minimal Jonsson sets and respectively strongly minimal Jonsson sets. On this basis, we introduce the concept of independence of special subsets of existentially closed submodel of semantic model. The
A.R. Yeshkeyev
doaj +2 more sources
Strongly minimal Jonsson sets and their properties [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This article introduced and considered the Johnson sets and their fragments. And respectively was considered strongly minimal Jonsson sets. On this basis, introduced the concept of the independence of special subsets of existentially closed submodel of ...
A.R. Yeshkeyev
doaj +2 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
Existentially closed fields with finite group actions [PDF]
, 2018 We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the
Piotr Kowalski, Daniel M. Hoffmann
core +1 more source
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.
openaire +2 more sources
Contents Geometric characterizations of existentially closed fields with operators [PDF]
, 2003 This paper concerns the basic model-theory of fields of arbitrary characteristic with operators. Simplified geometric axioms are given for the model-companion of the theory of fields with a derivation.
Pierce, D, David Pierce
core +1 more source