[PPT] - Relative Hilbert-Post completeness for exceptions Dominique Duval PowerPoint Presentation