TY  - RPRT
TI  - A topological set theory implied by ZF and GPK
AU  - Andreas Fackler
PY  - 2012
UR  - https://arxiv.org/abs/1206.1927
ID  - 1206.1927
ER  -