5 papers
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…
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…
The non-individuals interpretation of Quantum Mechanics
Décio Krause, Jonas R. B. Arenhart, Otávio Bueno
The non-individuals interpretation of quantum mechanics is presented with the aim of clarifying it and highflying some of its salient features. Alternative formulations of it are p…
Follow the Flow: sets, relations, and categories as special cases of functions with no domain
Adonai Sant'Anna, Otavio Bueno, Marcio de Franca
We introduce, develop, and apply a new approach for dealing with the intuitive notion of function, called Flow Theory. Within our framework all functions are monadic and none of th…
Generalizing Elitzur-Vaidman interaction free measurements
Adonai S. Sant'Anna, Otavio Bueno
In the early 1990's A. Elitzur and L. Vaidman proposed an interaction free measurement (IFM) that allows researchers to find infinitely fragile objects without destroying them. But…