Open Access
Translator Disclaimer
2014 Positive Model Theory and Amalgamations
Mohammed Belkasmi
Notre Dame J. Formal Logic 55(2): 205-230 (2014). DOI: 10.1215/00294527-2420648

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.

Citation

Download 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

Published: 2014
First available in Project Euclid: 24 April 2014

zbMATH: 1351.03025
MathSciNet: MR3201833
Digital Object Identifier: 10.1215/00294527-2420648

Subjects:
Primary: 03C95
Secondary: 03C10 , 03C48 , 03C52

Keywords: $h$-inductive theories , amalgamation , elimination of quantifiers , existentially closed models , positive model theory , topology of type spaces

Rights: Copyright © 2014 University of Notre Dame

JOURNAL ARTICLE
26 PAGES


SHARE
Vol.55 • No. 2 • 2014
Back to Top