The logic of the reverse mathematics zoo

摘要

Building on previous work by Mummert et al. (2015, The modal logic of Reverse Mathematics.rnArchive for Mathematical 54 (3-4) 425-437), we study the logic underlying the web of implicationsrnand non-implications which constitute the so called reverse mathematics zoo. We introduce arntableaux system for this logic and natural deduction systems for important fragments of thernlanguage.