TY  - RPRT
TI  - A proof of the Geroch-Horowitz-Penrose formulation of the strong cosmic censor conjecture motivated by computability theory
AU  - Gabor Etesi
PY  - 2021
DO  - 10.1007/s10773-012-1407-0
UR  - https://arxiv.org/abs/1205.4550
ID  - 1205.4550
ER  -