Pages that link to "Item:Q1277150"
From MaRDI portal
The following pages link to Normal forms for derivations in Arai's \(\text{AI}_\xi^-\) (Q1277150):
Displaying 4 items.
- A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method (Q1100461) (← links)
- A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic (Q1375747) (← links)
- Extended normal form theorems for logical proofs from axioms (Q1575930) (← links)
- A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)