Positive Strong Amalgamation

2019/11/06 by Belkasmi, Mohammed
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1911.06109

Abstract

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.

Related

• Positive Amalgamation
• Almost positively closed models
• Algebraically closed structures in Positive Logic
• Completeness in local positive logic
• The strong amalgamation property into union