Pages that link to "Item:Q1375747"
From MaRDI portal
The following pages link to A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic (Q1375747):
Displaying 6 items.
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets (Q790804) (← links)
- Towards a formal proof system for \(\omega\)-rational expressions (Q1064076) (← links)
- Normal forms for derivations in Arai's \(\text{AI}_\xi^-\) (Q1277150) (← 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)
- (Q4297174) (← links)