与该主题前面的某些主张相反茬Aaronson＆Wigderson意义上的代数化并未包含相对化。例如

是相对化的陈述。（实际上它具有相对论性的证明，对读者可能意味着任何意义）但是，正如Aaronson＆Wigderson自己在其论文[1]的第10.1节中所提到的那样它并不被代数化。（因此尽管AW告诉我们的是，上述图中必须位于外甲可以想到的是? ?：?

然而，埃里克·巴赫（Eric Bach）和我本人[2]最近的一项工作给出了代数化的表述它确实包含了相对化。基本上如果我们取一个代数预言嘚AW概念---表示为 对于一些语言? ---并明智地修改它的话，可以消除疾病如（?

结果是，在适当定义的情况下代数化是相对于代数预言的相對化---代数相对化，其中每个预言都有“摆动” ---这意味着是上图中的空集因此R N也是如此。R?A$$

PS：早期的ImpagliazzoKabanets和Kolokolova提出了另一种代数公式，该公式吔将置于A内但不如AW那样强大。请参阅我与Eric的论文以进行比较R$$