Talk slides.

    Samuel R. Buss.
    "Provably Total Search Problems of Second-Order Bounded Arithmetic.
    Journes sur les Arithmetiques Faibles.
    JAF/MAMLS, CUNY, New York, July 7, 2016.

    Download talk slides: PDF

Back to Sam Buss's publications page.