ITERATING REFLECTION OVER INTUITIONISTIC ARITHMETIC
Abstract
Abstract In this note, we investigate iterations of consistency, local and uniform reflection over Heyting arithmetic. For consistency and local reflection, we recover the same results known to hold for Peano arithmetic. In the case of uniform reflection, we present a new, self-contained proof of Dragalin’s extension of Feferman’s completeness theorem, drawing on ideas from Rathjen’s novel proof of Feferman’s classical result (cf. [12]).
Fields of Study & Subjects
Mathematics Education and Teaching Techniques
Numerical Methods and Algorithms
Intelligent Tutoring Systems and Adaptive Learning
Publication details
- Journal / source
- The Review of Symbolic Logic
- Publisher
- Cambridge University Press (CUP)
- Volume
- 19
- Issue
- 2
- Pages
- 245–268
- Publication date
- 5 March 2026
- Language
- EN