Аксиома Мартина — утверждение о достаточных условиях существования ультрафильтра на булевой алгебре, является следствием континуум-гипотезы. Широко используется в общей топологии и теории множеств.
Если — булева алгебра, удовлетворяющая условию счётности цепей, и — семейство подмножеств , такое, что , то существует — полный ультрафильтр на .
Для улучшения этой статьи желательно:
|