Positive model theory and amalgamations

DOI10.1215/00294527-2420648MaRDI QIDQ2452678zbMATH OpenOpenAlexFDO

Authors Mohammed Belkasmi

Publication date 4 June 2014

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.2097, https://projecteuclid.org/euclid.ndjfl/1398345781

zbMATH Keywords

\(h\)-inductive theoriesamalgamationelimination of quantifiersexistentially closed modelspositive model theorytopology of type spaces

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Abstract model theory (03C95)

Abstract: With the aim of developing the concepts of positive logic and in response to a question that was asked by Poizat in one of his articles, I wrote this article. The main topic is the study of compactness in the extension as a compact structure. they are based on a fundamental characterization of the compactness, which was given by Itai Ben Yacov and Poizat in section Basis of positive logic.

Recommendations

• Fondements de la logique positive
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Weakly and locally positive Robinson theories
• Spaces of types in positive model theory
• Algebraically closed structures in positive logic

Cites work

• Fondements de la logique positive
• Forking in the category of existentially closed structures
• scientific article; zbMATH DE number 1284412 (Why is no real title available?)
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Some perverse effects of positivity
• Univers positifs

Cited in

(13)

• On positive enumarated models
• Positive Jonsson theories
• Positive amalgamation
• Algebraically closed structures in positive logic
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• AN AXIOMATIC APPROACH TO FREE AMALGAMATION
• Spaces of types in positive model theory
• Fondements de la logique positive
• 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
• Positive complete theories and positive strong amalgamation property
• Existential and positive theories of equations in graph products

This page was built for publication: Positive model theory and amalgamations

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