Математическая логика и теория алгоритмов 2. Фундированные множества. Начальные отрезки

00:00 - Доказательство теоремы о 3 эквивалентных определениях 13:03 - Еще одно эквивалентное определение фундированности 15:27 - Теорема о монотонной функции 26:16 - Операции с УМами (ВУМами) и связь их с фундированностью 42:19 - Ряд ординалов 54:50 - Начальные отрезки 1:07:17 - Свойства начальных отрезков 1:13:20 - Утверждение про последующий элемент Дата лекции 02.02.22 Лектор: Мусатов Даниил Владимирович Монтажер: Калинин Иван