Primitive recursive reverse mathematics

Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu +1

We use a second-order analogy ${\mathsf{PRA}}^2$ of $\mathsf{PRA}$ to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics.…