Leszek Kolodziejczyk

  1. Title:
    Polynomial Calculus Space and Resolution Width

    Speaker:

    Link:

  2. Title:
    The reverse mathematics of Büchi’s decidability theorem

    Speaker:

    Link: