I'm relearning some computability theory, and have encountered the idea of relativization of results to arbitrary subsets of $\omega$ and the subtlety of figuring out what the correct relativized statement is. One way of figuring out the correct relativized statement is to go through the proof of the original statement and make sure that the same proof goes through, just relativized.

My question is: is there a way to simply look at a statement and know what the correct relativization is without knowing the proof? Also, is there a technical sense in which there a unique correct relativization?

  • 1
    $\begingroup$ Please provide an example so that it will be easier to understand what precisely you are asking. $\endgroup$ Commented Jun 23, 2021 at 6:57


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.