Publications > Preprint server > Preprint Number 344
Preprint Number 344
344. Mohammed Belkasmi
Positive model theory and amalgamations
Submission date: 2 August 2011.
We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poizat. The objects of this analysis are h-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 h- inductive theories. The main technical tools consist of various forms of amalgamations in special classes of structures.
Mathematics Subject Classification:
Keywords and phrases:
|Last updated: August 20 2011 12:20||Please send your corrections to:|