Форсинг и топология - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Автор: Сипачева О.В.
Год создания: 2016
Организация: МГУ имени М.В. Ломоносова
Описание: Спецкурс начинается с краткого введения в теорию множеств (язык, аксиоматика, модели). Затем подробно описывается метод вынуждения (форсинг) и излагаются идеи доказательства основных утверждений, лежащих в основе форсинга. В качестве иллюстрации с помощью форсинга строится модель теории множеств, в которой неверна континуум-гипотеза (т.е. существуют несчетные множества, мощность которых строго меньше континуума --- мощности множества всех вещественных чисел), а также модель, в которой континуум-гипотеза выполнена (т.е. минимальная мощность несчетного множества равна континууму). Тем самым доказывается недоказуемость и неопровержимость континуум-гипотезы. Заключительная часть посвящена обзору наиболее интересных моделей теории множеств, построенных с помощью форсинга, а также некоторых ярких результатов (в основном из топологической алгебры), полученных в этих моделях или непосредственно форсингом. Обсуждаются также открытые проблемы, решение которых требует построения или использования специальных моделей, и возможные подходы к их решению.
Добавил в систему: Сипачева Ольга Викторовна

	ИСТИНА	Войти в систему Регистрация
	ИПМех РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИПМех РАН

Форсинг и топологияучебный курс

Преподавание курса