最終更新日：2025/12/07
In several early constructions, ramified forcing was used to extend the constructible model M into a larger model M[G] that satisfied additional combinatorial properties.
正解を見る
In several early constructions, ramified forcing was used to extend the constructible model M into a larger model M[G] that satisfied additional combinatorial properties.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
いくつかの初期の構成では、強制法の原型（構成可能性公理 V = L を満たすモデル M から出発し、部分順序集合の生成的部分集合 G を M に加えてゲーデルの構成可能階層を模倣しながら拡大モデル M[G] を構築する方法）が、構成可能なモデルを追加の組合せ的性質を満たすより大きなモデルに拡張するために用いられた。
