47. Ординальная топология.

Рассматриваем интервальную топологию на ординалах и непрерывные функции, а также их неподвижные точки. 0:00 - база топологии ординалов 8:10 - критерий предельной точки 16:35 - критерий непрерывности функции 27:05 - критерий непрерывности возрастающей функции 49:40 - нормальная функция 54:18 - конфинальный характер кардинала 58:21 - регулярный кардинал 1:02:50 - теорема Тарского о неподвижных точках нормальной функции