Reducibilities of sets based on constructive functions of a real variable Osvald Demuth (1988) Commentationes Mathematicae Universitatis Carolinae
Remarks on the structure of tt-degrees based on constructive measure theory Osvald Demuth (1988) Commentationes Mathematicae Universitatis Carolinae