存在封闭赋值微分域中的虚元与不变类型
逻辑
2016-12-08 v2
摘要
我们回答了关于 Scanlon 引入的赋值微分域模型理论的两个开放问题。我们证明了它们在 Haskell、Hrushovski 和 Macpherson 引入的几何语言中消去虚元，并且它们具有不变扩张性质。这两个结果源于代数封闭赋值域的扩充中可定义类型稠密性的一个抽象判据。最后，我们证明了该理论是亚稳定的。
引用
@article{arxiv.1508.07935,
title = {Imaginaries and invariant types in existentially closed valued differential fields},
author = {Silvain Rideau},
journal= {arXiv preprint arXiv:1508.07935},
year = {2016}
}
备注
41 pages. The paper was significantly shortened for publication