The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Patey, Ludovic, Yokoyama, KeitaVolume:
330
Language:
english
Journal:
Advances in Mathematics
DOI:
10.1016/j.aim.2018.03.035
Date:
May, 2018
File:
PDF, 729 KB
english, 2018