4 citations · 6 across the 9 of their papers we have counts for
1 paper · 2 filters
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…