Positive Strong Amalgamation
Logic
2019-11-15 v1
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.
Keywords
Cite
@article{arxiv.1911.06109,
title = {Positive Strong Amalgamation},
author = {Mohammed Belkasmi},
journal= {arXiv preprint arXiv:1911.06109},
year = {2019}
}