模型膨脹

模型膨脹

模型膨脹(expansion of a model)模型論術語指兩個模型間的一種關係。

基本介紹

  • 中文名:模型膨脹
  • 定義:兩個模型間的一種關係
  • 類別:模型論術語
設'dl=CA,.>是語言丫的一個模型。如果將語言丫膨脹為'=Ux,並在娜中對x中的符號給出任意解釋了‘,則,=A,.U.,>是膨脹語言丫‘的一個模型,稱模型哪‘是模型哪的膨脹.此時也稱模型u是模型乙甜‘的歸約.有時也用如下縮寫:u,一Cl,,c' >.將丫的模型膨脹為丫‘的模型可能有多個,而將丫‘的模型歸約為丫的模型則是惟一的.設留(1-CA,.,)是y的一個模型,且`'c c'i.由了,中略去對丫1\、牙夕表示集合差的符號解釋後,可得一個對於丫的解釋.稱丫的模型(0dl=CA,.)為留;在丫中的歸約.此時,ou為公在丫,中的膨脹.

相關詞條

熱門詞條

聯絡我們