Study of first order model theory and its application

我们推广了斯坦霍恩的省略类型定理。当理论T是超稳定时，他的定理成立。我们把超稳性的假设弱化为更弱的超单一性条件。斯坦霍恩最初的证明使用了平均类型的概念。我们的证明没有使用这样的概念。首先证明了一个相当一般的结果，然后将其应用到超简单理论的一个模型中，作为推论得到了Steinhorn的结果的如下推广：设L是可数语言，T是用L表示的完全超简单理论；假设M在空集上省略了完整的类型p。那么M有一个适当的初等扩张N，它也省略了p。

We extended Steinhorn's omitting types theorem. His theorem holds when the theory T is superstable. We weakened the assumption of superstablity to a weaker condition of supersimlicity. Steinhorn's original proof uses the notion of average types. Our proof does not use such a notion. First we proved a quite general result and then, by applying the result to a model of supersimple theory, we get the following extension of Steinhorn's result as a corollary :The result : Let L be a countable language and T a complete supersimple theory formulated in L. Let M be a countable model of Thaving an infinite independent (in the sense of forking) set. Suppose that M omits a complete type p over the empty set. Then there is a proper elementary extension N of M that also omits p.