TY  - RPRT
TI  - Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate
AU  - Domenico Cantone
AU  - Pietro Ursino
PY  - 2013
UR  - https://arxiv.org/abs/math/0411227
ID  - math/0411227
ER  -