Presburger算数中的f-generic型（英文）

发布时间：2021-05-23 20:42

　　设有序加法群（G,+,<, 0）是一个Presburger算数理论的模型。本文研究了Gⁿ上的f-generic型,并且对其给出了一个分类定理。利用这个分类定理,我们证明了所有的f-generic型都是■-可定义的。此外,文章的最后一部分研究了p-adic域Q_p的乘法群H。我们证明了Hⁿ的f-generic型也都是■-可定义的。 

【文章来源】：逻辑学研究. 2019,12(03)CSSCI

【文章页数】：22 页


本文编号：3202947