Positive model theory and amalgamations
Résumé
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" ex- istentially closed ones. We analyze topological properties of spaces of types, introduce forms of quantifier elimination and characterize mini- mal completions of arbitrary h-inductive theories. The main technical tools consist of various forms of amalgamations in special classes of structures.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...