葉赫-丘嫩樹

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

定義

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

存在性

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

參考資料

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.