"Двойственная теорема Кантора-Бернштейна" "Двойственная теорема Кантора-Бернштейна":
если есть наложение из множества A в B
и другое наложение из B в A, то они
равномощны.
Зависит ли она от аксиомы выбора?
Обычная теорема Кантора-Бернштейна
(с вложениями) не зависит, но вывести
из нее двойственную теорему мне удалось
только используя аксиому выбора.
Ну и еще задача
(вот отсюда из комментов):
можно ли без аксиомы выбора доказать,
что \R равномощно факторгруппе \R/\Q?
Привет