Non-Uniformity and Generalised Sacks Splitting

摘要

We show that there do not exist computable functions f_1 (e, I), f_2 (e,I),g_1(e,I),g_2(e,I), such that for all e, I ∈ω, formula (ell) It follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly.