Flow: the Axiom of Choice is independent from the Partition Principle

Adonai S. Sant'Anna, Otavio Bueno, Marcio P. P. de França +1

We introduce a general theory of functions called Flow. We prove ZF, non-well founded ZF and ZFC can be immersed within Flow as a natural consequence from our framework. The existe…