Iterating reflection over intuitionistic arithmetic
Questo articolo indaga le iterazioni di consistenza e di riflessione locale e uniforme sull'aritmetica intuizionistica (), fornendo una nuova dimostrazione dell'estensione di Dragalin del teorema di completezza di Feferman.