%0 Journal Article %A Diener, Hannes %A Hendtlass, Matthew %T Completeness: When Enough is Enough %J Documenta mathematica %D 2019 %P 899-914 %V 24 %I mathdoc %U http://geodesic.mathdoc.fr/item/DOCMA_2019__24__a39/ %G en %F DOCMA_2019__24__a39