Transitivity of Kim-independence

DOI10.1016/J.AIM.2021.107573MaRDI QIDQ2220480zbMATH OpenOpenAlexFDO

Authors Itay Kaplan, Nicholas Ramsey

Publication date 25 January 2021

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathrm{NSOP}_1\)Kim-independencemodel theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We prove several results on the behavior of Kim-independence upon changing the base in NSOP${}_1$ theories. As a consequence, we prove that Kim-independence satisfies transitivity and that this characterizes NSOP${}_1$. Moreover, we characterize witnesses to Kim-dividing as exactly the $in{d}^K$-Morley sequences. We give several applications, answering a number of open questions concerning transitivity, Morley sequences, and local character in NSOP${}_1$ theories.

Recommendations

• On Kim-independence
• Forking and dividing in NTP\(_{2}\) theories
• More on tree properties
• Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
• Strict independence

Cites work

• Classification theory and the number of non-isomorphic models.
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• scientific article; zbMATH DE number 3506669 (Why is no real title available?)
• Local character of Kim-independence
• On \(\vartriangleleft^{*}\)-maximality.
• On Kim-independence
• On model-theoretic tree properties
• Simplicity and stability in there
• Tree indiscernibilities, revisited

Cited in

(13)

• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
• Local character of Kim-independence
• WEAK CANONICAL BASES IN NSOP THEORIES
• Exact saturation in pseudo-elementary classes for simple and stable theories
• TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES
• Kim-independence in positive logic
• Model-theoretic properties of nilpotent groups and Lie algebras
• NSOP1 as a dividing line
• On rank not only in \(\mathrm{NSOP}_1\) theories
• Conant-independence and generalized free amalgamation
• On \(\mathrm{NSOP}_2\) theories
• On triggers of order

This page was built for publication: Transitivity of Kim-independence

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