Highness properties close to PA completeness (Q2055279)

Let \(\mathrm{High(CR, MLR)}\) be the set of reals relative to which every computable random is Martin-Löf random. \textit{J. N. Y. Franklin} et al. observed in [Bull. Lond. Math. Soc. 43, No. 4, 721--733 (2011; Zbl 1226.03051)] that every \(PA\)-degree belongs to \(\mathrm{High(CR, MLR)}\). It was left as an open problem whether \(\mathrm{High(CR, MLR)}\) contains exactly \(PA\)-degrees (Recently it was answered by \textit{L. Liu} [Bull. Lond. Math. Soc. 53, No. 3, 759--776 (2021; Zbl 07381907)]). In the paper under review, various new notions are introduced and their relationships with \(\mathrm{High(CR, MLR)}\) and \(PA\)-degree were built. For example, they prove that the strong continuous covering property is strictly weaker than having a \(PA\)-degree. A number of open problems are left in the paper. It should be pointed out that Liu [loc. cit.] has made some important progress recently toward solving these problems.