Return to Revisions

3 of 6

edited tags

edited Jun 14, 2016 at 16:01

63.9k
5
187
285

Transfer in ZF+FUF+ACC

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