4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Powell
We use Gödel's Dialectica interpretation to analyse Nash-Williams' elegant but non-constructive "minimal bad sequence" proof of Higman's Lemma. The result is a concise constructive…