Iterating reflection over intuitionistic arithmetic
arXiv:2411.07777 · doi:10.1017/S1755020326101117
Abstract
In this note, we investigate iterations of consistency, local and uniform reflection over (Heyting Arithmetic). In the case of uniform reflection, we give a new proof of Dragalin's extension of Feferman's completeness theorem to , drawing on Rathjen's proof of Feferman's classical result.
Typos