The logic of the reverse mathematics zoo
arXiv:1512.08035 · doi:10.1017/S0960129516000323
Abstract
Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathematics zoo. We introduce a tableaux system for this logic and natural deduction systems for important fragments of the language.
16 pages