模型同构是一个数学术语。
描述
模型同构(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