TY  - RPRT
TI  - On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]
AU  - Bryan Ford
PY  - 2004
UR  - https://arxiv.org/abs/math/0404471
ID  - math/0404471
ER  -