장벽서지만 확인
An Axiomatic Approach to AlgebrizationR. Impagliazzo, V. Kabanets, A. Kolokolova · 2009STOC 2009 (Proceedings of the 41st Annual ACM Symposium on Theory of Computing), 695–704쪽대수화를, 모든 클래스가 같은 대수적 오라클을 받는 공리적 정의로 다시 세운 논문이다. Aaronson 의 2017년 개관에 따르면 이 정의에서는 NEXP ⊄ P/poly 에 관한 결론을 잃는다. 2-2 의 대수화 글이 「그 뒤의 전개」에서 인용한다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로, 내용은 Aaronson 2017 §6.3.3 으로 확인.