Iterating reflection over intuitionistic arithmetic
In dit artikel onderzoekt de auteur iteraties van consistentie, lokale en uniforme reflectie over Heyting-aritmetiek en levert een nieuw bewijs voor Dragalins uitbreiding van Fefermans volledigheidstelling, gebaseerd op Rathjens klassieke bewijs.