@misc{indiciaeb1bffd4b1776,
  title = {Basic Topological Concepts and a Construction of Real Numbers in Alternative Set Theory},
  author = {Kiri Sakahara and Takashi Sato},
  year = {2020},
  url = {https://arxiv.org/abs/2005.04388},
  note = {Source identifier: 2005.04388}
}