Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
2 answers
473 views

Does forcing with recursively pointed perfect trees add a Turing degree that is minimal over $V$?

A tree $T$ on $\omega$ is recursively pointed if it is recursive in each of its branches. We can consider a variant of Sacks forcing where the conditions are recursively pointed perfect trees ordered ...
Trevor Wilson's user avatar