@misc{indiciae42eefa1a789d,
  title = {On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]},
  author = {Bryan Ford},
  year = {2004},
  url = {https://arxiv.org/abs/math/0404471},
  note = {Source identifier: math/0404471}
}