有限生成交换代数上模论的理论的模型完备
逻辑
2009-08-05 v2
摘要
我们找到了模 的理论的模型完备,其中 是域 上的有限生成交换代数。这是在域 与模均由理论中的排序表示的语境下完成的,从而使得与模相连的可构造集可在该语言中解释。为实现量词消去,通过为所有幂次 的 Grassmannian 添加额外排序来扩充语言。结果表明模型完备是某一类“大”内射模的理论。特别地,我们证明了内射模类本身是初等的。我们还获得了该理论中类型的显式描述。
引用
@article{arxiv.math/0607418,
title = {The model completion of the theory of modules over finitely generated commutative algebras},
author = {Moshe Kamensky},
journal= {arXiv preprint arXiv:math/0607418},
year = {2009}
}
备注
AMSLaTeX, 13 pages, no figures. Part of author's phd thesis