Ressayre. A conservation result for systems of bounded arithmetic. Handwritten manuscript (1986)

by J Pierre