Positive model theory and amalgamations - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2011

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.
Fichier principal
Vignette du fichier
article3ndjfl.pdf (198.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00746275 , version 1 (28-10-2012)

Identifiants

  • HAL Id : hal-00746275 , version 1

Citer

Mohammed Belkasmi. Positive model theory and amalgamations. 2011. ⟨hal-00746275⟩
178 Consultations
708 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More