This paper presents a refinement of a result by Conidis, who proved that there is a real of effective packing dimension which cannot compute any real of effective packing dimension . The original construction was carried out below , and this paper’s result is an improvement in the effectiveness of the argument, constructing such an by a limit-computable approximation to get .
"Controlling Effective Packing Dimension of Degrees." Notre Dame J. Formal Logic 57 (1) 73 - 93, 2016. https://doi.org/10.1215/00294527-3328401