Primitive recursive reverse mathematics

Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu, Alexander G. Melnikov. Primitive recursive reverse mathematics. Annals of Pure and Applied Logic, 175(Issue 1, Part A):103354, January 2024. [doi]

Abstract

Abstract is missing.