The following pages link to Provable Fixed Points (Q3809768):
Displayed 5 items.
- Rosser orderings and free variables (Q1176097) (← 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)
- Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866) (← links)