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]
@article{CordonFrancoM24, title = {Semi-honest subrecursive degrees and the collection rule in arithmetic}, author = {Andrés Cordón-Franco and Francisco Félix Lara Martín}, year = {2024}, month = {February}, doi = {10.1007/s00153-023-00889-z}, url = {https://doi.org/10.1007/s00153-023-00889-z}, researchr = {https://researchr.org/publication/CordonFrancoM24}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {63}, number = {1}, pages = {163-180}, }