@misc{indiciae14cab1cff9ca,
  title = {The Largest Countable Inductive Set is a Mouse Set},
  author = {Mitch Rudominer},
  year = {1996},
  url = {https://arxiv.org/abs/math/9609205},
  note = {Source identifier: math/9609205}
}