Positive Jonsson theories

DOI10.1007/S11787-018-0185-8zbMATH Open1456.03060OpenAlexW2791109285MaRDI QIDQ1653552FDOQ1653552

Authors: 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

Recommendations

• Fondements de la logique positive
• Weakly and locally positive Robinson theories
• Univers positifs
• Existentially closed and maximal models in positive logic
• Positive model theory and amalgamations

zbMATH Keywords

compactnessinductive limitmodel theoryamalgamsJonsson theory

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (24)

• \(JSp\)-cosemanticness of \(R\)-modules
• Kim-independence in positive logic
• Universal logic: evolution of a project
• Positive indiscernibles
• The isomorphism theorem for linear fragments of continuous logic
• Weakly and locally positive Robinson theories
• SPACES OF TYPES IN POSITIVE MODEL THEORY
• Univers positifs
• Independence and simplicity in Jonsson theories with abstract geometry
• Positive Jonsson theories
• Singly generated quasivarieties and residuated structures
• Some perverse effects of positivity
• Existentially closed and maximal models in positive logic
• Fondements de la logique positive
• The amalgamation property for automorphisms of ordered abelian groups
• Similarities of Hybrids from Jonsson Spectrum and $$\boldsymbol{S}$$-Acts
• Back and Forth in Positive Logic
• Quelques propriétés des théories de Jonsson
• A.D. Taimanov and model theory in Kazakhstan
• THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES
• 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

This page was built for publication: Positive Jonsson theories

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