Imaginaries and invariant types in existentially closed valued differential fields

JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK(2015)

引用 3|浏览0
暂无评分
摘要
We answer two 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 result 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.
更多
查看译文
关键词
invariant types,fields
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要