Pages that link to "Item:Q450942"
From MaRDI portal
The following pages link to A constructive analysis of learning in Peano arithmetic (Q450942):
Displaying 5 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Transfinite update procedures for predicative systems of analysis (Q2915671) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
- Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 (Q5740401) (← links)
- What Russell learned from Peano (Q5921233) (← links)