Submission date: 2 August 2011.

Abstract:

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:

Full text: pdf, dvi, ps.