Mungkinkah untuk menunjukkan bahwa suatu hukuman harus secara formal independen berdasarkan fakta bahwa hukuman itu tidak relativizing? Dengan kata lain, apakah ada contoh kalimat dalam teori komputabilitas / kompleksitas di mana ia dapat ditunjukkan baik a) bahwa semua bukti yang menyelesaikan pertanyaan apakah dua kelas sama harus relativize, dan b) bahwa tidak ada bukti relativizing yang dapat digunakan dalam resolusi seperti itu?
Saya pikir hasil yang memuaskan bagian b akan lebih mudah didapat. Cara lain untuk mengajukan pertanyaan ini adalah: Apakah pernah ada kalimat dalam teori komputabilitas atau kompleksitas di mana dapat ditunjukkan bahwa kesetaraan atau ketidaksetaraan harus ditetapkan melalui penggunaan (dan hanya melalui penggunaan) teknik relativizing? Contoh dari ini akan menarik bagi saya.
Terima kasih; jawaban untuk kedua versi pertanyaan ini akan sangat menarik bagi saya.
-Philip