Forking and Dividing in NTP2 theories

DOI10.2178/jsl/1327068688zbMath1251.03037arXiv0906.2806OpenAlexW2160357452WikidataQ114696039 ScholiaQ114696039MaRDI QIDQ5388715

Artem Chernikov, Itay Kaplan

Publication date: 19 April 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

forkingMorley sequencedividingbounded forkingstrong independence notiontheories without the tree property of the second kind

Mathematics Subject Classification ID

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

Related Items (32)

Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\) ⋮ Forking and dividing in fields with several orderings and valuations ⋮ On Kim-independence ⋮ Theories without the tree property of the second kind ⋮ Mekler's construction and generalized stability ⋮ Model theoretic properties of the Urysohn sphere ⋮ Invariant measures in simple and in small theories ⋮ Burden in Henselian valued fields ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ STABILIZERS, GROUPS WITH -GENERICS, AND PRC FIELDS ⋮ A definable \((p,q)\)-theorem for NIP theories ⋮ Model theory of Steiner triple systems ⋮ Connected components of definable groups and o-minimality. I ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Some Remarks on dp-Minimal Groups ⋮ THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES ⋮ Definably amenable NIP groups ⋮ On non-forking spectra ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ Remarks on generic stability in independent theories ⋮ Strict independence ⋮ On NIP and invariant measures ⋮ Existentially closed exponential fields ⋮ Dense codense predicates and the NTP₂ ⋮ Witnessing dp-rank ⋮ Boundedness and absoluteness of some dynamical invariants in model theory ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Groups and fields with $\operatorname {NTP}_{2}$ ⋮ On amalgamation in NTP\(_2\) theories and generically simple generics ⋮ Externally definable sets and dependent pairs II ⋮ Some Themes Around First Order Theories Without the Independence Property ⋮ External definability and groups in NIP theories

Cites Work

• Unnamed Item
• Dependent first order theories, continued
• Thorn orthogonality and domination in unstable theories
• On dp-minimality, strong dependence and weight
• Théories instables
• Simple unstable theories
• Lascar strong types in some simple theories
• Forking in Simple Unstable Theories
• Forking and independence in o-minimal theories

This page was built for publication: Forking and Dividing in NTP₂ theories