在微分闭域中的一阶强极小集合
摘要：不平凡命题为1阶强最小集在微分闭域中的非正交类别提供了分类。其中一个核心思想是引入了$au$-形式，它是在一个变量的扩展上类似于1-形式的函数。1阶强最小集与具有$au$-形式的光滑射影曲线对应。我们还引入了$au$-微分，它是$au$-形式的代数版本，类似于常规微分，并发展了它们的基本属性。这使得我们能够以曲线与$au$-可逆层的理论方式重构我们的分类方案。这项工作在一定程度上推广和扩展了Hrushovski和Itai的结果。
作者：Eric Rosen
论文ID：math/0510233
分类：Logic
分类简称：math.LO
提交时间：2007-05-23