Fondements de la logique positive

DOI10.2178/jsl/1203350777zbMath1139.03022OpenAlexW2162923490MaRDI QIDQ5444691

Bruno Poizat, Itaï Ben Yaacov

Publication date: 25 February 2008

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1203350777

zbMATH Keywords

catpositive logic\(h\)-inductivity

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Basic properties of first-order languages and structures (03C07)

Related Items (16)

Positive Jonsson theories ⋮ Existentially closed and maximal models in positive logic ⋮ Positive amalgamation ⋮ Independence and freedom ⋮ Weakly and locally positive Robinson theories ⋮ Supergenerix. ⋮ Back and Forth in Positive Logic ⋮ Algebraically closed structures in positive logic ⋮ Kim-independence in positive logic ⋮ An arithmetical view to first-order logic ⋮ Some perverse effects of positivity ⋮ Type space functors and interpretations in positive logic ⋮ Positive logics ⋮ Positive model theory and amalgamations ⋮ Existentially closed exponential fields ⋮ SPACES OF TYPES IN POSITIVE MODEL THEORY

Cites Work

• Unnamed Item
• Universal relational systems
• Theory of models with generalized atomic formulas
• Homogeneous Universal Models.
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Thickness, and a categoric view of type-space functors
• Lovely pairs of models: the non first order case
• Homogeneous Universal Relational Systems.
• ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I
• Uncountable dense categoricity in cats

This page was built for publication: Fondements de la logique positive