Abstract
We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poizat. The objects of this analysis are -inductive theories and their models, especially the “positively” existentially closed ones. We analyze topological properties of spaces of types, introduce forms of quantifier elimination, and characterize minimal completions of arbitrary -inductive theories. The main technical tools consist of various forms of amalgamations in special classes of structures.
Citation
Mohammed Belkasmi. "Positive Model Theory and Amalgamations." Notre Dame J. Formal Logic 55 (2) 205 - 230, 2014. https://doi.org/10.1215/00294527-2420648
Information