ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
ramifying
ramifies
ramifiability
ramify
IPA(発音記号)
動詞
自動詞
他動詞
比喩的用法
(transitive, intransitive) To divide into branches or subdivisions. / (figuratively) To spread or diversify into multiple fields or categories.
日本語の意味
枝分かれする、分岐する / 複数の分野やカテゴリーに分かれる、多方面に広がる
選択した言語のデータがないため、英語で表示しています。
活用形
ramifiable
ramified
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 の原初形態を指す。
選択した言語のデータがないため、英語で表示しています。