78 citations · 90 across the 20 of their papers we have counts for
1 paper · 2 filters
Andrei Sipos
Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an ext…