@misc{indiciae54c3ab92aa8f,
  title = {A road to ultrafilter extensions},
  author = {Jie Fan},
  year = {2018},
  url = {https://arxiv.org/abs/1806.07187},
  note = {Source identifier: 1806.07187}
}