SRT22 does not imply RT22 in omega-models

From MaRDI portal

Revision as of 08:40, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6319076

Jump to:navigation, search

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)

This page was built for publication: SRT22 does not imply RT22 in omega-models

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6319076&oldid=35914499"