Лекция 4. Имена и интерпретации. Определение генерического расширения модели ZFC как множества интерпретаций
- 09:29Генерическое множество
- 14:58Генерическое расширение
- 20:44Построение модели, в которой CH неверна
- 40:56Имена и интерпретации
- 50:31Примеры
- 59:29Свойства M[G] для CTM M
- 01:05:38Вынуждение
