初等圖象

初等圖象

初等圖象是一個數學術語。

初等圖象(elementary diagram)完全刻畫一個模型的句子集.設au是語言丫的一個模型,,的膨脹語言A=U :QEA2的膨脹模型為留,一(0ua)aEA,令Th (lA)為A中一切在留,中成立的語句所構成的集合,稱Th +lA ;為(的)模型娜的初等圖象,也可記為r ,.即ru= a:。是丫,中的語句,並且(卿,aW A司).

相關詞條

熱門詞條

聯絡我們