Positive Complete Theories and Positive Strong Amalgamation Property

Bulletin of the Section of Logic 53 (3):301-319 (2024)
  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 changes to the language of the theory through the groups theory.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.2024.10

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
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.
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ï Yaacov & Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
The Strong Amalgamation Property for Complete Boolean Algebras.G. P. Monro - 1974 - Mathematical Logic Quarterly 20 (31-33):499-502.
Random Amalgamation of Simple Theories.Akito Tsuboi - 2001 - Mathematical Logic Quarterly 47 (1):45-50.
Generalized amalgamation and n -simplicity.Byunghan Kim, Alexei S. Kolesnikov & Akito Tsuboi - 2008 - Annals of Pure and Applied Logic 155 (2):97-114.

Analytics

Added to PP
2024-06-06

Downloads
10 (#1,468,470)

6 months
8 (#578,901)

Historical graph of downloads
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