Самые простые - пространства дифф. форм
на многообразии. Гладких, обыкновенно
(пишу сейчас про вещественно аналитические,
но я первый, кажется).

Обойтись зависимым выбором получится, счетным
едва ли (хотя если делать зависимый выбор по всем
счетным ординалам, его хватит, конечно).

Думаю, что после того, как окажется, что
ZF+AC (и лично ZF) противоречива, какие-то версии
Хана-Банаха останутся справедливыми и в следующей
версии математики, уж очень интуитивно ясное утверждение.

Такие дела
Миша

(Reply to this) (Parent)