最終更新日：2025/12/07
例文
いくつかの初期の構成では、強制法の原型（構成可能性公理 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
