葉赫-丘嫩樹

葉赫－丘嫩樹（）指的是集合論中帶有與廣義連續統假設不相容的性質的樹。這種樹以曾研究此種樹存在可能性及其後果的湯瑪士·葉赫和肯尼思·丘嫩為名。

定義

樹指的是一顆勢為、高度為的樹，其中是首個不可數序數，而則是與其關聯的基數。葉赫－丘嫩樹指的是一顆分支數大於但小於的樹。

存在性
在1971年首先發現有此樹的模型，之後於1975年證明說，在假定連續統假設及的狀況下，葉赫－丘嫩樹的存在性等價於重量為的緊緻豪斯多夫空間和大小嚴格介於與之間的基數的存在性。

參考資料

集合论
獨立結果