Pages that link to "Item:Q450942"
From MaRDI portal
The following pages link to A constructive analysis of learning in Peano arithmetic (Q450942):
Displayed 3 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← 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)