The following pages link to (Q5534937):
Displayed 6 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- Diophantine induction (Q584258) (← links)
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- Diophantine equations in fragments in arithmetic (Q1112811) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)