Return to Revisions

4 of 6

edited title

edited Jun 14, 2016 at 16:20

16.6k
2
54
127

Transfer with minimal choice

Let FUF postulate the existence of a Free UltraFilter on $\mathbb{N}$ and ACC the axiom of countable choice. Is the transfer principle provable in ZF+FUF+ACC?

asked Jun 14, 2016 at 12:52

Mikhail Katz

16.6k
2
54
127