Positive Jonsson theories

DOI10.1007/s11787-018-0185-8zbMath1456.03060OpenAlexW2791109285MaRDI QIDQ1653552

Bruno Poizat, Aibat Rafhatovich Yeshkeyev

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0185-8

zbMATH Keywords

inductive limitcompactnessamalgamsmodel theoryJonsson theory

Mathematics Subject Classification ID

Properties of classes of models (03C52) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Abstract model theory (03C95)

Related Items

Universal logic: evolution of a project, Positive Jonsson theories, The isomorphism theorem for linear fragments of continuous logic, Weakly and locally positive Robinson theories, Back and Forth in Positive Logic, Kim-independence in positive logic, Singly generated quasivarieties and residuated structures, The number of fragments of the perfect class of the Jonsson spectrum, Bilinear spaces over a fixed field are simple unstable, Type space functors and interpretations in positive logic, Topologies, ranks, and closures for families of theories. I, Independence and simplicity in Jonsson theories with abstract geometry, SPACES OF TYPES IN POSITIVE MODEL THEORY, A.D. Taimanov and model theory in Kazakhstan, \(JSp\)-cosemanticness of \(R\)-modules, THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Existentially closed and maximal models in positive logic
• Some perverse effects of positivity
• Complete theories
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Model theory
• Positive Jonsson theories
• Positive model theory and amalgamations
• Countable infinite existentially closed models of universally axiomatizable theories
• Quelques propriétés des théories de Jonsson
• Universal relational systems
• Univers positifs
• Homogeneous Universal Models.
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• On some conjectures connected with complete sentences
• Thickness, and a categoric view of type-space functors
• Lovely pairs of models: the non first order case
• Fondements de la logique positive
• Homogeneous Universal Relational Systems.
• ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I
• Uncountable dense categoricity in cats