最終更新日
：2023/09/06
ramified forcing
noun
(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.
意味（1）
(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.
復習用の問題
正解を見る
(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.
正解を見る
Ramified forcing is a concept in set theory.
English Dictionary
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
