範疇性定理を目指して（最終回） ～範疇性定理～

Baldwin　と　Lachlan　は前回示した系3.7と3.8の逆，すなわち

　”理論 が -安定で Vaught 対をもたなければ

　 任意の非可算な に対して -範疇的になる”

という定理（Baldwin-Lachlan の定理）を示しました．

ここから範疇性定理が簡単に示されるので，今回は Baldwin-Lachlan の定理を

示すことを目標にしています．

そして，ついに範疇性定理が証明されます．

１月の終わりから４か月以上かかりましたが，ここで一区切りです．