前回までMAの主張とその応用を紹介した. 今回からMAのモデルを作ることを目的に強制法を学んでいく. MAのモデルを作るには反復強制法が必要になり目標が遠いので,連続体仮説の否定の無矛盾性を中間目標としよう. 今回から半順序集合といったら最大元の指…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。