Keita Yokoyama

  1. Title:
    The first-order part of Ramsey’s theorem for pairs

    Speaker:

    Link:

  2. Title:
    Computable analysis and reverse mathematics

    Speaker:

    Link: