Kann man nachweisen, dass ein Satz formal unabhängig sein muss, weil er nicht relativierend ist? Mit anderen Worten, gibt es Beispiele für Sätze in der Berechenbarkeits- / Komplexitätstheorie, in denen gezeigt werden kann, dass sowohl a) alle Beweise, die die Frage lösen, ob zwei Klassen gleich sind, relativiert werden müssen, als auch b) dass es keine relativierenden Beweise dafür gibt kann in einer solchen auflösung verwendet werden?
Ich denke, dass Ergebnisse, die Teil b erfüllen, leichter zu bekommen sind. Ein anderer Weg, diese Frage zu stellen, ist: Gab es jemals einen Satz in der Berechenbarkeits- oder Komplexitätstheorie, in dem gezeigt werden kann, dass die Gleichheit oder Ungleichheit durch den Einsatz von (und nur durch den Einsatz von) relativierenden Techniken festgestellt werden muss? Ein Beispiel dafür wäre für mich interessant.
Vielen Dank; Eine Antwort auf beide Versionen dieser Frage wäre für mich sehr interessant.
-Philip