{ "id": "1407.0222", "version": "v1", "published": "2014-07-01T13:06:09.000Z", "updated": "2014-07-01T13:06:09.000Z", "title": "On forking and definability of types in some dp-minimal theories", "authors": [ "Pierre Simon", "Sergei Starchenko" ], "comment": "Appeared previously as an appendix in arXiv:1210.4479", "categories": [ "math.LO" ], "abstract": "We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.", "revisions": [ { "version": "v1", "updated": "2014-07-01T13:06:09.000Z" } ], "analyses": { "subjects": [ "03C68" ], "keywords": [ "dp-minimal theories", "definability", "large class" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2014arXiv1407.0222S" } } }