DOI10.1016/j.aim.2021.107903arXiv1905.08427MaRDI QIDQ6319076
Benoit Monin, Ludovic Patey
Publication date: 20 May 2019
Mathematics Subject Classification ID
Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)