@misc{indiciae830f2b001bb1,
  title = {The consistency strength of NFUB},
  author = {Robert M. Solovay},
  year = {1997},
  url = {https://arxiv.org/abs/math/9707207},
  note = {Source identifier: math/9707207}
}