莫利範疇性定理

莫利範疇性定理(Money categoricity then -rem)模型論的基本定理之一

設T為可數語言獷中的完全理論.如果T對臘嫌習某一不可雅套戀兆數基數a是a範疇的，則T對每一不可數基數R都是R範疇的.莫利(Morley,M.)的這一定理及有關研究，開闢模型論中關於形式理論的範疇性及穩定性的新的研究想循碑頁方向.隨後，謝拉赫(Shelah , S.)把這一定理推廣到不可數語言的情況.謝拉赫等人並在穩定性研究方匪格剃面作了大量工作，檔府迎深肯凝少人發展了模型論中的穩捉糠定性理論.