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

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

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


本文編號：3202947