設(shè)有序加法群（G,+,<, 0）是一個(gè)Presburger算數(shù)理論的模型。本文研究了Gⁿ上的f-generic型,并且對(duì)其給出了一個(gè)分類定理。利用這個(gè)分類定理,我們證明了所有的f-generic型都是■-可定義的。此外,文章的最后一部分研究了p-adic域Q_p的乘法群H。我們證明了Hⁿ的f-generic型也都是■-可定義的。 

【文章來(lái)源】：邏輯學(xué)研究. 2019,12(03)CSSCI

【文章頁(yè)數(shù)】：22 頁(yè)


本文編號(hào)：3202947