The following pages link to Provable Fixed Points (Q3809768):
Displaying 10 items.
- Rosser orderings and free variables (Q1176097) (← links)
- Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\) (Q1182693) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A note on some extension results (Q1814182) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- A shorter proof of a recent result by R. Di Paola (Q2266712) (← links)
- Much shorter proofs: A bimodal investigation (Q3474647) (← links)
- Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866) (← links)
- Notes on my scientific life (Q6612807) (← links)