性質と使われ方
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/05 04:53 UTC 版)
イェンセンは1972年にダイヤモンド原理 ◊ がススリン木の存在を含意することを示した。彼はダイヤモンド原理がCHを含意することも示した。 任意の基数κとκ+の定常集合Sに対して◊Sは構成可能宇宙で真である。近年、S. シェラハによって非可算な基数κに対して、 2 κ = κ + {\displaystyle 2^{\kappa }=\kappa ^{+}} から◊κ+が示されることが示された。
※この「性質と使われ方」の解説は、「ダイヤモンド原理」の解説の一部です。
「性質と使われ方」を含む「ダイヤモンド原理」の記事については、「ダイヤモンド原理」の概要を参照ください。
- 性質と使われ方のページへのリンク