Честная крайняя левая ветка
В теории множеств честной самой левой ветвью дерева ∈ T на ω × γ является ветвь ( максимальная цепь ) ƒ ∈ [ T ] такая, что для каждой ветви g [ T ] существует ∀ n ∈ ω: ƒ ( n ) ≤ г ( п ). Здесь [ T ] обозначает множество ветвей максимальной длины T , ω — наименьший бесконечный ординал (представленный натуральными числами N ), а γ — какой-то другой порядковый номер.
См. также
[ редактировать ]Ссылки
[ редактировать ]- Акихиро Канамори , Высшая бесконечность , Перспективы математической логики, Springer, Берлин, 1997.
- Яннис Н. Мошовакис , Описательная теория множеств , Северная Голландия, Амстердам, 1980.
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |