关于某些 dp-极小理论中类型的分叉与可定义性
逻辑
2014-07-02 v1
摘要
我们特别证明了，在一大类 dp-极小理论（包括 p 进数域）中，可定义类型在非分叉类型中是稠密的。
引用
@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}
}
备注
Appeared previously as an appendix in arXiv:1210.4479