Описание:Язык логики высказываний, язык логики первого порядка. Аксиомы теории множеств. Аксиома выбора и примеры ее применения. Вполне упорядоченные множества. Ординалы. Мощность множества. Кардиналы. Континуум-гипотеза. Ультрафильтры. Топологическое пространство. Основные топологические понятия на языке ультрафильтров. Топологические группы, полугруппы и алгебраические системы. Полугруппа ультрафильтров на группе. Топология на полугруппе ультрафильтров, существование идемпотента. Минимальные ультрафильтры. Применение ультрафильтров к исследованию комбинаторики чисел и групп (теорема Хиндмана, теорема Ван дер Вардена, теорема Рамсея). Применение ультрафильтров и теоремы Рамсея к исследованию общих свойств топологических групп (свойство Суслина, существование топологии индуктивного предела) и экстремальных свойств топологических групп (максимальные топологические группы, экстремально несвязные топологические группы).