TY  - RPRT
TI  - The reals as rational Cauchy filters
AU  - Ittay Weiss
PY  - 2015
UR  - https://arxiv.org/abs/1503.04348
ID  - 1503.04348
ER  -