2 papers
math.LO2021
Flow: the Axiom of Choice is independent from the Partition Principle in ZFU
Adonai Sant'Anna, Renato Brodzinski, Marcio de França +1
We introduce a formal theory called Flow where the intended interpretation of its terms is that of function. We prove ZF, ZFC and ZFU (ZF with atoms) can be immersed within Flow as…
math.LO2020
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…