中文

关于完全类型的有效列举的注记

逻辑 2019-04-23 v1 代数几何

摘要

我们使用“几何公理”观点给出特征为 00 的微分闭域理论 DCF0DCF_{0} 的完全类型的有效列举。这给出了早期论文中观察的另一种表述。

关键词

引用

@article{arxiv.1904.09949,
  title  = {A note on the effective listing of complete types},
  author = {Anand Pillay},
  journal= {arXiv preprint arXiv:1904.09949},
  year   = {2019}
}

备注

7 pages