Sep 04, 2007 19:26
Какую логическую силу имеет утверждение о существовании для любого кардинала каппа множества X (произвольной мощности) вместе с каппа-аддитивным ультрафильтром на нем? Это как существование измеримого кардинала или это доказуемо в ZFC?