Pages that link to "Item:Q1295369"
From MaRDI portal
The following pages link to Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369):
Displaying 5 items.
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- On the relationship between <i>ATR</i><sub>0</sub> and (Q5687314) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)