SearcharxivSearch

arXiv subjects

Mohammed Belkasmi

Publications and source records attributed to Mohammed Belkasmi.

6 recordsLinked to original sources

Almost positively closed models

We introduce the notions of almost positively closed models and positive strong amalgamation property. We study the fundamental properties of these notions and develop some interactions between them.

math.LO

Algebraically closed structures in Positive Logic

In this paper we extend of the notion of algebraically closed given in the case of groups and skew fields to an arbitrary h-inductive theory. The main subject of this paper is the study of the notion of positive algebraic closedness and its relationship with the notion of positive closedness and the amalgamation property.

math.LO

Positive Strong Amalgamation

We present the notions of positively complete theory and general forms of amalgamation in the framework of positive logic. We explore the fundamental properties of positively complete theories and study the behaviour of companion theories by a change of constants in the language. Moreover, we present a general form of amalgamation and discuss some forms of strong amalgamation.

math.LO

Positive Amalgamation

We study the amalgamation property in positive logic. We give some connections between the amalgamation property and Robinson theories, model-complete theories and the Hausdorff property.

math.LO

Compactness in positive logic

With the aim of developing the concepts of positive logic and in response to a question that was asked by Poizat in one of his articles, I wrote this article. The main topic is the study of compactness in the extension as a compact structure. they are based on a fundamental characterization of the compactness, which was given by Itai Ben Yacov and Poizat in section Basis of positive logic.

math.LO