Скачать
The Kleene-Brouwer order
Автор: Giacomo's Zahlenschloss
Загружено: 2026-02-20
Просмотров: 2
Описание:
We define the Kleene-Brouwer order, compare it to the lexicographic order, and see how it relates to well-foundedness and trees.
Corrections:
at some point I write KB(B) and mean KB(T)
The stated theorem holds if X is well-founded, or simpler yet, for X = ℕ.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
