Iterating reflection over intuitionistic arithmetic

In this note, we investigate iterations of consistency, local and uniform reflection over $\mathbf{H}\mathbf{A}$ (Heyting Arithmetic). In the case of uniform reflection, we give a new proof of Dragalin’s extension of Feferman’s completeness theorem to $\mathbf{H}\mathbf{A}$, drawing on Rathjen’s proof of Feferman’s classical result.