Курсы Лекторы Материалы О проекте
Войти
Лекция 4. Имена и интерпретации. Определение генерического расширения модели ZFC как множества интерпретаций
Лекция из курса:
Форсинг и его применения в топологии
Сипачёва Ольга Викторовна
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 4. Имена и интерпретации. Определение генерического расширения модели ZFC как множества интерпретаций
Видео закончится через
NaN:NaN
00:00
00:00
09:29
Следующая секция начнется через 14:58
Генерическое множество
14:58
Следующая секция начнется через 14:58
Генерическое расширение
20:44
Следующая секция начнется через 14:58
Построение модели, в которой CH неверна
40:56
Следующая секция начнется через 14:58
Имена и интерпретации
50:31
Следующая секция начнется через 14:58
Примеры
59:29
Следующая секция начнется через 14:58
Свойства M[G] для CTM M
1:05:38
Следующая секция начнется через 14:58
Вынуждение
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 4. Имена и интерпретации. Определение генерического расширения модели ZFC как множества интерпретаций

09:29
Следующая секция начнется через 14:58
Генерическое множество
14:58
Следующая секция начнется через 14:58
Генерическое расширение
20:44
Следующая секция начнется через 14:58
Построение модели, в которой CH неверна
40:56
Следующая секция начнется через 14:58
Имена и интерпретации
50:31
Следующая секция начнется через 14:58
Примеры
59:29
Следующая секция начнется через 14:58
Свойства M[G] для CTM M
1:05:38
Следующая секция начнется через 14:58
Вынуждение
Свернуть таймкоды