TY  - RPRT
TI  - A constructive Knaster-Tarski proof of the uncountability of the reals
AU  - Ingo Blechschmidt
AU  - Matthias Hutzler
PY  - 2019
UR  - https://arxiv.org/abs/1902.07366
ID  - 1902.07366
ER  -