Iterating reflection over intuitionistic arithmetic
Este artículo investiga las iteraciones de consistencia y reflexión local y uniforme sobre la Aritmética Intuicionista (), ofreciendo una nueva demostración de la extensión de Dragalin del teorema de completitud de Feferman a este sistema.