Presburger算数中的f-generic型

摘要：

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

所属期刊栏目：12

在线出版日期：2019-08-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共22页

页码：57-78