英文
homogeneous model
简介
一种形式语言模型.对L的模型U中A的任意两个有限序列a1，…，an，an+1和b1，b2，…，bn，如果
则存在一个bn+1∈A，能使
这时称模型U为ω齐次的.如果U是可数的且ω齐次的.则称模型U是可数齐次的.一般地，对L的模型U和对每一序数ζ<α(α是一个无限基数)及任何a∈ζA，b∈ζB及c∈A，如果
(U，aη)η<ζ≡(U，bη)η<ζ，
则存在d∈A，使得
(U，aη，c)η<ζ≡(U，bη，d)η<ζ，
这时称模型U是α齐次的.如果U是|A|齐次的，则称模型U是齐次的.