Positive Complete Theories and Positive Strong Amalgamation Property

Mohammed Belkasmi

doi:10.18778/0138-0680.2024.10

Authors

Mohammed Belkasmi Qassim University, College of Sciences, Department of Mathematics, Buraydah, Qassim, Saudi Arabia Author https://orcid.org/0000-0002-0960-5079

DOI:

https://doi.org/10.18778/0138-0680.2024.10

Keywords:

h-inductive theory, existentially closed, complete theory, positive amalgamation, positive strong amalgamation, mathematical model, semantics

Abstract

We introduce the notion of positive strong amalgamation property and we investigate some universal forms and properties of this notion.

Considering the close relationship between the amalgamation property and the notion of complete theories, we explore the fundamental properties of positively complete theories, and we illustrate the behaviour of this notion by bringing changes to the language of the theory through the groups theory.

References

M. Belkasmi, Positive model theory and amalgamations, Notre Dame Journal of Formal Logic, vol. 55.4 (2014), pp. 205–230, DOI: https://doi.org/10.1215/00294527-2420648 DOI: https://doi.org/10.1215/00294527-2420648

M. Belkasmi, Algebraically closed structures in positive logic, Annals of Pure and Applied Logic, vol. 171.9 (2020), pp. 243–258, DOI: https://doi.org/10.1016/j.apal.2020.102822 DOI: https://doi.org/10.1016/j.apal.2020.102822

E. Hrushovski, Simplicity and the Lascar group, Preprint, (1998).

A. Pillay, Forking in the category of existentially closed structure, In connection between model theory and algebraic and analytic geometry. Quuderini di Matematica. University of Napoli, vol. 6 (200), pp. 23–42.

I. B. Yaacov, B. Poizat, Fondements de la Logique Positive, The Journal of Symbolic Logic, vol. 72.4 (2007), pp. 1141–1162, DOI: https://doi.org/10.2178/jsl/1203350777 DOI: https://doi.org/10.2178/jsl/1203350777