Pages that link to "Item:Q5687314"
From MaRDI portal
The following pages link to On the relationship between <i>ATR</i><sub>0</sub> and (Q5687314):
Displayed 5 items.
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)