Аксиома глобального выбора
- Аксиома глобального выбора является более сильным вариантом аксиомы выбора в теориях классов.
- Функция глобального выбора позволяет выбрать элемент из каждого непустого множества.
- Аксиома глобального выбора не может быть сформулирована на языке теории множеств Цермело-Френкеля с помощью аксиомы выбора.
- Добавление нового функционального символа τ в язык ZFC позволяет определить функцию глобального выбора.
- В теории множеств фон Неймана-Бернейса-Геделя аксиома глобального выбора может быть сформулирована непосредственно и эквивалентна различным утверждениям.
- Глобальный выбор является следствием аксиомы об ограничении размера.
Полный текст статьи: