Return to Revisions

5 of 6

edited tags

edited Jun 14, 2016 at 16:42

39.7k
8
134
282

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