Kim-independence in positive logic

DOI10.2140/mt.2022.1.55arXiv2105.07788OpenAlexW4286386232MaRDI QIDQ6156873

Mark Kamsma, Jan Cz. Dobrowolski

Publication date: 19 June 2023

Published in: Model Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.07788

zbMATH Keywords

positive logicKim-dividingKim-independence\(\mathrm{NSOP}_1\) theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Independence relations for exponential fields

Cites Work

• Unnamed Item
• Some perverse effects of positivity
• Simple theories
• Positive Jonsson theories
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• Product of invariant types modulo domination-equivalence
• Tree indiscernibilities, revisited
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Local character of Kim-independence
• Forking in Simple Unstable Theories
• Properties of forking in ω-free pseudo-algebraically closed fields
• Thickness, and a categoric view of type-space functors
• WEAK CANONICAL BASES IN NSOP THEORIES
• FORKING, IMAGINARIES, AND OTHER FEATURES OF
• Generic expansions by a reduct
• SPACES OF TYPES IN POSITIVE MODEL THEORY
• A Guide to NIP Theories
• Fondements de la logique positive
• THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES

This page was built for publication: Kim-independence in positive logic