Semi-honest subrecursive degrees and the collection rule in arithmetic

Andrés Cordón-Franco, Francisco Félix Lara Martín. Semi-honest subrecursive degrees and the collection rule in arithmetic. Arch. Math. Log., 63(1):163-180, February 2024. [doi]

Abstract

Abstract is missing.