ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 英語
検索内容:
intermolecular forces
centripetal forces
labour forces
labor forces
restoring forces
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 の原初形態を指す。
approach-forcing
名詞
不可算名詞
(bridge)
A
bidding
system
in
which
the
responder
does
not
support
a
partner's
bid
suit
without
4
card
support
or
3
cards
plus
a
Queen
or
higher,
never
passes
an
opening
1
bid
while
holding
one
and
a
half
honor
tricks
or
more,
always
responds
with
an
indication
of
hand
strength,
and
in
which
a
2
opener
or
jump
bid
is
considered
forcing
to
game.
No
Trump
is
used
as
a
negative
response
when
forced
to
bid.
日本語の意味
ブリッジにおける入札システムの一種で、応答者はパートナーのスート支持を、4枚のカードまたは3枚のカード＋クイーン以上の場合に限定し、1のオープニング入札時に名誉トリックが十分にある場合は必ず応札する。手札の強さを示す応札が行われ、2やジャンプ入札はゲームへの強制入札とみなされ、ノートランプ（NT）は強制入札時に否定的な応答として使われる。
loading!
Loading...
