いくつかの初期の構成では、強制法の原型（構成可能性公理 V = L を満たすモデル M から出発し、部分順序集合の生成的部分集合 G を M に加えてゲーデルの構成可能階層を模倣しながら拡大モデル M[G] を構築する方法）が、構成可能なモデルを追加の組合せ的性質を満たすより大きなモデルに拡張するために用いられた。
復習用の問題
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.
関連する単語
ramified forcing
(set theory) The original form of forcing, starting with a model M of set theory in which the axiom of constructibility, V = L, holds, and then building up a larger model M[G] of Zermelo-Fraenkel set theory by adding a generic subset G of a partially ordered set to M, imitating Kurt Gödel's constructible hierarchy.
集合論において、構成可能性公理 (V = L) が成立するモデル M を出発点とし、部分順序集合からの生成的部分集合 G を加えることで、Zermelo-Fraenkel集合論の拡大モデル M[G] を構築する手法。これは、Kurt Gödel の構成階層の考えに触発された、forcing の原初形態を指す。
英語 - 多言語
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
