Largeness notions and polytime translation for \forall Σ^0_3-consequences of \mathsf{RT}^2_2

MaRDI QIDQ7217551arXivFDO

Authors Quentin Le Houérou, Ludovic Patey

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Complexity of proofs (03F20) Relative consistency and interpretations (03F25) Second- and higher-order arithmetic and fragments (03F35) Ramsey theory (05D10)

arXiv classification

math.LO

This page was built for publication: Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$

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