Independence and Induction in Reverse Mathematics

MaRDI QIDQ6740890arXivFDO

Authors David R. Belanger, C. T. Chong, Rupert Hölzl, Frank Stephan

Publication date 2024

Published in arXiv

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

arXiv classification

math.LO

This page was built for publication: Independence and Induction in Reverse Mathematics

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