The logic of the reverse mathematics zoo

Research paper by Giovanna D'Agostino, Alberto Marcone

Indexed on: 25 Dec '15Published on: 25 Dec '15Published in: Mathematics - Logic


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.