Corrigendum to Affine Relativization: Unifying the Algebrization and Relativization Barriers

摘要

It has come to our attention that in Reference [2], Theorem 8, and its continuation, Theorem 10, are proven using an argument that contradicts a theorem of Lob [3] (see Reference [1, Theorem 1] for an accessible account). Therefore, we retract these assertions.