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