Definable B-sigma-two path
Construct a definable path h through a Pi-zero-one(emptyset-prime) tree T such that M[h] satisfies B-Sigma-two, assuming that some path g through T has this property.
References
Is there a definable path $h \in [T]$ such that $M[h] \models \text{B}\Sigma_2$?
— Open Problems in Mathematical Logic
(2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 9