关于代数闭赋值域中虚元消除的证明
逻辑
2020-11-11 v2
摘要
基于 Hrushovski 的思想，我们给出了 ACVF 中（在几何排序中）虚元消除的简化证明。该证明成功避免了 Haskell、Hrushovski 和 Macpherson 的原始证明中出现的许多技术问题。
引用
@article{arxiv.1406.3654,
title = {On the proof of elimination of imaginaries in algebraically closed valued fields},
author = {Will Johnson},
journal= {arXiv preprint arXiv:1406.3654},
year = {2020}
}
备注
New and improved coding for finite sets (section 4.3)