Pages that link to "Item:Q1100461"
From MaRDI portal
The following pages link to A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method (Q1100461):
Displaying 6 items.
- An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions (Q1057857) (← links)
- A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis (Q1087871) (← links)
- Normal forms for derivations in Arai's \(\text{AI}_\xi^-\) (Q1277150) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)
- Two applications of analytic functors (Q5958294) (← links)
