Feasibility of Primality in Bounded Arithmetic
O artigo demonstra a correção do algoritmo AKS dentro da teoria aritmética limitada (ou ), provando primeiro sua validade em com dois axiomas algébricos e, subsequentemente, estabelecendo que esses axiomas e formalizações essenciais de teoria dos números e álgebra são demonstráveis dentro de .