Positive amalgamation

DOI10.1007/S11787-018-0216-5MaRDI QIDQ2183715zbMATH OpenOpenAlexFDO

Authors Mohammed Belkasmi

Publication date 27 May 2020

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.4488

zbMATH Keywords

amalgamation basish-inductive theoriesh-maximal modelh-universal theoriesHausdorff theoriesKaiser's hullmodel-completenesspositive amalgamationpositive logicpositively existentially closed modelRobinson theoriesT-weakly complementary formulas

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Abstract model theory (03C95)

Abstract: We study the amalgamation property in positive logic. We give some connections between the amalgamation property and Robinson theories, model-complete theories and the Hausdorff property.

Cites work

• Existentially closed and maximal models in positive logic
• Fondements de la logique positive
• Forking in the category of existentially closed structures
• Positive model theory and amalgamations
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• SIMPLICITY IN COMPACT ABSTRACT THEORIES

Cited in

(3)

• Weakly and locally positive Robinson theories
• Almost existentially closed models in positive logic
• The properties of amalgamation and joint embedding in the meaning of positive Jonsson theories

This page was built for publication: Positive amalgamation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2183715)