Iterating reflection over intuitionistic arithmetic
Logic
2026-03-11 v5
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.
Cite
@article{arxiv.2411.07777,
title = {Iterating reflection over intuitionistic arithmetic},
author = {Emanuele Frittaion},
journal= {arXiv preprint arXiv:2411.07777},
year = {2026}
}
Comments
Typos