.png){kind=icon}
.png){kind=icon}
Return
ITERATING REFLECTION OVER INTUITIONISTIC ARITHMETIC
.png){kind=icon}
PRE
AI
DOI：10.1017/S1755020326101117.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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]).
Keywords:
intuitionistic arithmetic
Heyting
consistency
local reflection
uniform reflection
Feferman's completeness theorem
Dragalin
Journal
R
IF:
0.9
Papers:
19
Citations:
0