Harvey Martin Friedman Ghent UniversityDepartment of Mathematics: Analysis, Logic and Discrete Mathematics