$\Pi^0_4$ conservation of Ramsey's theorem for pairs

arXiv2404.18974MaRDI QIDQ6532594

Keita Yokoyama, Quentin Le Houérou, Ludovic Patey

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10)

This page was built for publication: $\Pi^0_4$ conservation of Ramsey's theorem for pairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6532594)