Dimension analogues of positive-tree principles
Determine the reverse-mathematical relationships obtained by replacing measure with dimension in the positive-tree principles P-plus, P, and P-minus.
References
How about using dimension? (Define the above concepts by replacing measure by dimension.)
— Open Problems in Mathematical Logic
(2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 5