Аксиома глобального выбора — Википедия, бесплатная энциклопедия

Аксиома глобального выбора Аксиома глобального выбора является более сильным вариантом аксиомы выбора в теориях классов.  Функция глобального выбора позволяет выбрать […]

Аксиома глобального выбора

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

Полный текст статьи:

Аксиома глобального выбора — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх