相对化BBP与NEXT_k类的禁分离

本文获得了下述结果:存在递归集A使得类BBP^A中有NEXT_K^A—禁集。