Last Updated
：2025/12/07
ramified forcing
Noun
uncountable
(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.
Japanese Meaning
集合論において、構成可能性公理 (V = L) が成立するモデル M を出発点とし、部分順序集合からの生成的部分集合 G を加えることで、Zermelo-Fraenkel集合論の拡大モデル M[G] を構築する手法。これは、Kurt Gödel の構成階層の考えに触発された、forcing の原初形態を指す。
Sense（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.
Quizzes for review
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
ramified forcing
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.
See correct answer
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.
音声機能が動作しない場合はこちらをご確認ください
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
