The following pages link to A simple proof of Parsons' theorem (Q558443):
Displaying 7 items.
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A simple proof of a theorem of Parish (Q1976862) (← links)
- Elementary Proof of Strong Normalization for Atomic F (Q2957669) (← links)
- On a Problem of J. Paris (Q5441123) (← links)
- Another Simple Proof of Pascal’s Theorem (Q6088718) (← links)
