Pages that link to "Item:Q1182693"
From MaRDI portal
The following pages link to Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\) (Q1182693):
Displaying 5 items.
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- The composition of two connected \(G_\delta\) functions has a fixed point (Q1769726) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- Much shorter proofs: A bimodal investigation (Q3474647) (← links)