@misc{indiciae24a43a7dd9c4,
  title = {A model of second-order arithmetic satisfying AC but not DC},
  author = {Sy-David Friedman and Victoria Gitman and Vladimir Kanovei},
  year = {2018},
  url = {https://arxiv.org/abs/1808.04732},
  note = {Source identifier: 1808.04732}
}