模型同構

模型同構是一個數學術語。

基本介紹

• 中文名：模型同構
• 外文名：isomorphism of models
• 所屬學科： 數學

描述

模型同構(isomorphism of models)模型論術語.指兩模型間的一種等價關係.語言丫中的模型}l=CA，{r}，}f}，{:})和.}= CB,{、}，fig}，{d})同構(記為甜蘭男)，若且唯若存在一個雙射h:A->B滿足:

1.對g中每一n元關係符號R，設它在}}l及男中的解釋各為r及、，則對A中每一n元組(指n元序列，序列中可以有重複的元)a},a},... pan，都有r

2.對獷中每一m元函式符號F，設它在o}及居中的解釋各為f及g，則對A中每一m元組a},a2，…,a‑，都有

模型同構

3.對牙’中的每一常元符號C，設它在哪及務中的解釋各為。及d，則有h，其中R為實數集，R+為正實數集.對任何aER+，令h

模型同構