Positive Complete Theories and Positive Strong Amalgamation Property

Bulletin of the Section of Logic (forthcoming)
  Copy   BIBTEX

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 some changes to the language of the theory through the groups theory.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.2024.10

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Positive Amalgamation.Mohammed Belkasmi - 2020 - Logica Universalis 14 (2):243-258.
Algebraically closed structures in positive logic.Mohammed Belkasmi - 2020 - Annals of Pure and Applied Logic 171 (9):102822.
n-Simple theories.Alexei S. Kolesnikov - 2005 - Annals of Pure and Applied Logic 131 (1-3):227-261.
Weakly and locally positive Robinson theories.Mohammed Belkasmi - 2021 - Mathematical Logic Quarterly 67 (3):342-353.
Generalized amalgamation and n -simplicity.Byunghan Kim, Alexei S. Kolesnikov & Akito Tsuboi - 2008 - Annals of Pure and Applied Logic 155 (2):97-114.
The kim–pillay theorem for abstract elementary categories.Mark Kamsma - 2020 - Journal of Symbolic Logic 85 (4):1717-1741.
Strong amalgamation property of diagonalizable algebras.Irena Janicka-Zuk - 1983 - Bulletin of the Section of Logic 12 (3):105-108.
Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
The amalgamation property for some classes of BCK-algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.
The Strong Amalgamation Property for Complete Boolean Algebras.G. P. Monro - 1974 - Mathematical Logic Quarterly 20 (31-33):499-502.

Analytics

Added to PP
2024-06-06

Downloads
2 (#1,450,151)

6 months
2 (#1,816,284)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Fondements de la logique positive.Ben Yaacov Itaï & Poizat Bruno - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Fondements de la logique positive.Itaï Ben Yaacov & Et Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
Algebraically closed structures in positive logic.Mohammed Belkasmi - 2020 - Annals of Pure and Applied Logic 171 (9):102822.
Fondements de la logique positive.Itaï Yaacov & Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.

Add more references