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 15 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- 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)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)