arXiv Analytics

Sign in

arXiv:1407.0222 [math.LO]AbstractReferencesReviewsResources

On forking and definability of types in some dp-minimal theories

Pierre Simon, Sergei Starchenko

Published 2014-07-01Version 1

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.

Comments: Appeared previously as an appendix in arXiv:1210.4479
Categories: math.LO
Subjects: 03C68
Related articles: Most relevant | Search more
arXiv:1901.02859 [math.LO] (Published 2019-01-09)
Amenability and definability
arXiv:1805.07048 [math.LO] (Published 2018-05-18)
$κ$-Madness and Definability
arXiv:1608.02342 [math.LO] (Published 2016-08-08)
Recent Progress on Definability of Henselian Valuations

Links

Toolbox