[科普中國]-飽和模型

定義飽和模型是一種形式語言模型。設(shè)U是L的模型，如果對于A的每一個有限子集Y.LY=L∪{Ca：a∈Y}中每一個與Th(Ur)協(xié)調(diào)的公式集Γ(x)都能在UY中實現(xiàn)，則稱U為ω飽和的.如果U為可數(shù)且為ω飽和的，則稱U為可數(shù)飽和的.設(shè)U為L的模型，α為一基數(shù)，對U中A的每個集合X?A，|X|