Decl_IS_Hilbert_11_PhD.pdf