"I think the answer is no. Indeed, there are unc..."

https://arbital.com/p/5vw

by Patrick Stevens Aug 14 2016


I think the answer is no. Indeed, there are uncountably many $~$S$~$, but only countably many machines which can access oracles.