Results 11 to 20 of about 318 (223)
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 +3 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
openaire +3 more sources
EXISTENTIALLY CLOSED MODELS OF FIELDS WITH A DISTINGUISHED SUBMODULE
The Journal of Symbolic Logic, 2022 Abstract This article 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
Christian D'elbée +2 more
openaire +3 more sources
The property of independence for Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 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
The properties of central-orbital types of EPSCJ theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 This article, in its content, refers to the study of the theoretical - model properties of the Jonsson theories. A new approach to this study is proposed. As a new notion, the idea of a central - orbital type is used.
A.R. Yeshkeyev
doaj +3 more sources
Existentially closed models and locally zero-dimensional toposes
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
Criterion for the cosemanticness of the Abelian groups in the enriched signature
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 In the present paper we give a criterion of the cosemanticness relative to the Jonsson spectrum of the model in the class of Abelian groups with a distinguished predicate.
A.R. Yeshkeyev +2 more
doaj +3 more sources
A study on generic structures, existentially closed models, and random bijections
A study on generic structures, existentially closed models, and random bijections2010 【要旨】
安保, 勇希
openaire +1 more source
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES [PDF]
, 2019 The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results, it has a model completion (whose models are the existen- tially closed structures).
GHILARDI, SILVIO, CARAI, LUCA
core +1 more source
An AEC framework for fields with commuting automorphisms
, 2023 In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields.
Hyttinen, Tapani, Kangas, Kaisa
core +1 more source