Semi-honest subrecursive degrees and the collection rule in arithmetic | Publicación