Imaginaries and invariant types in existentially closed valued differential fields

被引:6
|
作者
Rideau, Silvain [1 ]
机构
[1] Univ Calif Berkeley, Dept Math, Evans Hall, Berkeley, CA 94720 USA
关键词
DEFINABLE TYPES; SETS;
D O I
10.1515/crelle-2016-0036
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We answer three related open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduced by Haskell, Hrushovski and Macpherson and that they have the invariant extension property. These two results follow from an abstract criterion for the density of definable types in enrichments of algebraically closed valued fields. Finally, we show that this theory is metastable.
引用
收藏
页码:157 / 196
页数:40
相关论文
共 50 条