TY  - RPRT
TI  - Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
AU  - Cristian S. Calude
AU  - Nicholas J. Hay
PY  - 2009
UR  - https://arxiv.org/abs/0808.2220
ID  - 0808.2220
ER  -