%0 Journal Article %A Hannes Diener %A Matthew Hendtlass %T Completeness: When Enough is Enough %J Documenta mathematica %D 2019 %P 899-914 %V 24 %U http://geodesic.mathdoc.fr/articles/10.4171/dm/696/ %R 10.4171/dm/696 %F 10_4171_dm_696