Results 1 to 10 of about 304,921 (130)

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   +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.
Zofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín   +2 more
openaire   +5 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.
H. Schoutens
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   +4 more sources

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

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   +3 more sources

Model companion properties of some theories

Қарағанды университетінің хабаршысы. Математика сериясы
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   +2 more sources

Model-theoretic properties of J-superstable Jonsson theories in classes defined by cosemanticness

Қарағанды университетінің хабаршысы. Математика сериясы
This article deals with the problems of model-theoretic characterization of J-superstable Jonsson theories. The characteristic features of such theories are analyzed in terms of J-stability, J-P-superstability, and J-nonmultidimensionality.
A.R. Yeshkeyev, G.E. Zhumabekova, A.K. Issayeva   +2 more
doaj   +2 more sources

Existentially closed W*-probability spaces [PDF]

Mathematische Zeitschrift, 2021
We study several model-theoretic aspects of W∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin ...
Isaac Goldbring, Cyril Houdayer
semanticscholar   +1 more source

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