47 citations · 87 across the 29 of their papers we have counts for
29 papers
Nobody needs equations
Adonai Schlup Sant'Anna
Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is…
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…
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…
Individuality, quasi-sets and the double-slit experiment
Adonai S. Sant'Anna
Quasi-set theory allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that is not a formula, if…
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…