Semi-honest subrecursive degrees and the collection rule in arithmetic

Cordón Franco, Andrés; Lara Martín, Francisco Félix

doi:https://doi.org/10.1007/s00153-023-00889-z

⚠️ DURANTE LA MAÑANA DEL 12/11/2025 EL SERVICIO PUEDE VERSE INTERRUMPIDO POR TAREAS DE MANTENIMIENTO. ROGAMOS DISCULPEN LAS MOLESTIAS.