4 citations · 9 across the 6 of their papers we have counts for
1 paper · 2 filters
Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu +1
We use a second-order analogy PRA2 of PRA to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics.…