TY  - RPRT
TI  - Basic Topological Concepts and a Construction of Real Numbers in Alternative Set Theory
AU  - Kiri Sakahara
AU  - Takashi Sato
PY  - 2020
UR  - https://arxiv.org/abs/2005.04388
ID  - 2005.04388
ER  -