All Stories

  1. ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM

    Article • Journal of Symbolic Logic, December 2017, Cambridge University Press

    Professor Vasco Brattka, Tahina Rakotoniaina