6 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Benedict Eastaugh
Reverse mathematics is a branch of mathematical logic dedicated to determining the minimal set existence principles necessary and sufficient to derive ordinary mathematical theorem…