Submission date: 1 July 2014.

Abstract:

[Appeared previously as an appendix in arXiv:1210.4479]

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.

Mathematics Subject Classification: 03C68

Keywords and phrases:

Full text arXiv 1407.0222: pdf, ps.