TY  - JOUR
AU  - Hannes Diener
AU  - Matthew Hendtlass
TI  - Completeness: When Enough is Enough
JO  - Documenta mathematica
PY  - 2019
SP  - 899
EP  - 914
VL  - 24
UR  - http://geodesic.mathdoc.fr/articles/10.4171/dm/696/
DO  - 10.4171/dm/696
ID  - 10_4171_dm_696
ER  -