On forking and definability of types in some dp-minimal theories
Logic
2014-07-02 v1
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.
Cite
@article{arxiv.1407.0222,
title = {On forking and definability of types in some dp-minimal theories},
author = {Pierre Simon and Sergei Starchenko},
journal= {arXiv preprint arXiv:1407.0222},
year = {2014}
}
Comments
Appeared previously as an appendix in arXiv:1210.4479