Forking in NTP 2 theories - Mathematics > LogicReport as inadecuate

Forking in NTP 2 theories - Mathematics > Logic - Download this document for free, or read online. Document in PDF available to download.

Abstract: We prove that in theories without the tree property of the second kind whichinclude dependent and simple theories forking and dividing over models are thesame, and in fact over any extension base. As an application we show thatdependence is equivalent to bounded non-forking assuming NTP 2.

Author: Artem Chernikov, Itay Kaplan


Related documents