1 paper · 1 filter
Anton Freund, Ulrich Kohlenbach
We extract quantitative information (specifically, a rate of metastability in the sense of Terence Tao) from a proof due to Kazuo Kobayasi and Isao Miyadera, which shows strong con…