省略型定理

省略型定理是构造可数模型的一个重要定理.对于丫上的完全理论T，设}=}}xl }xa } ".. }xn)为罗中的公式集合，首先给出:若T有一模型省略乏，则T局部省略乏.对可数语言的任一协调理论。省略型定理(omitting types theorem)构造可数模型的一个重要定理.对于丫上的完全理论T，设}=}}xl }xa } ".. }xn)为罗中的公式集合，首先给出:若T有一模型省略乏，则T局部省略乏.对可数语言的任一协调理论，上述命题的逆也成立.下面给出模型论中的重要定理.省略型定理:设T是可数语言丫中的协调理论，}=}(x‑xZ，...，x‑)为牙中的公式集合，如果T局部省略乏，则T有一可数模型省略二