The biggest five of reverse mathematics

DOI10.1142/S0219061324500077MaRDI QIDQ6992506zbMATH OpenFDO

Authors Dag Normann, Sam Sanders

Publication date 28 April 2025

Published in Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

reverse mathematicsbig fivesecond- and higher-order arithmetic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: The biggest five of reverse mathematics

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