47 citations · 87 across the 29 of their papers we have counts for
1 paper · 2 filters
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…