Positive Jonsson theories
From MaRDI portal
Publication:1653552
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
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 (16)
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
This page was built for publication: Positive Jonsson theories