4 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Giovanna D'Agostino, Alberto Marcone
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 mathemat…