Forking and dividing in ntp 2 theories

Artem Chernikov*, Itay Kaplan

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

45 Scopus citations

Abstract

We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP 2.

Original languageAmerican English
Pages (from-to)1-20
Number of pages20
JournalJournal of Symbolic Logic
Volume77
Issue number1
DOIs
StatePublished - Mar 2012
Externally publishedYes

Fingerprint

Dive into the research topics of 'Forking and dividing in ntp 2 theories'. Together they form a unique fingerprint.

Cite this