Loading article…
数学において、ススリン木とは、高さω1の木で、すべての枝とすべての反鎖が可算であるような木のことである。この木はミハイル・ヤコブレヴィチ・ススリンにちなんで名付けられた。
ススリンの木はすべてアロンシャインの木である。
ススリン木の存在はZFC とは無関係であり、ススリン線(クレパ (1935)によって示された)またはススリン代数の存在と同等である。V =Lの結果であるダイヤモンド原理はススリン木が存在することを意味し、マーティンの公理MA(ℵ 1 ) はススリン木が存在しないことを意味する。
より一般的には、任意の無限基数 κ に対して、κ-Suslin 木とは、高さ κ の木で、すべての枝と反鎖の基数が κ 未満であるものです。特に、Suslin 木は ω 1 -Suslin 木と同じです。Jensen (1972)は、 V=Lの場合、すべての無限後継基数κに対して κ-Suslin 木が存在することを示しました。一般化連続体仮説がℵ 2 -Suslin 木の存在を意味するかどうかは、長年の未解決問題です。