{
  "id": "0906.2806",
  "version": "v2",
  "published": "2009-06-15T21:17:12.000Z",
  "updated": "2011-03-21T18:38:54.000Z",
  "title": "Forking in NTP_2 theories",
  "authors": [
    "Artem Chernikov",
    "Itay Kaplan"
  ],
  "comment": "21 pages, presentation improved",
  "categories": [
    "math.LO"
  ],
  "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.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2011-03-21T18:38:54.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "tree property",
      "second kind",
      "simple theories",
      "extension base"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 21,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2009arXiv0906.2806C"
    }
  }
}