Baldwin と Lachlan は前回示した系3.7と3.8の逆，すなわち ”理論 が -安定で Vaught 対をもたなければ 任意の非可算な に対して -範疇的になる” という定理（Baldwin-Lachlan の定理）を示しました．ここから範疇性定理が簡単に示されるので，今回は Baldwi…

今回は，識別不能集合についてまとめました．最後に系3.7と3.8で紹介していることが重要になります．というのも， これらの系とその逆を示すことできれば，範疇性定理を示すことができる からです．やっとここまできたという感じがあります．