Dilators and the reverse mathematics zoo
From MaRDI portal
Publication:6529988
arXiv2404.06872MaRDI QIDQ6529988FDOQ6529988
Authors: Anton Freund
Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
This page was built for publication: Dilators and the reverse mathematics zoo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6529988)