The property "arithmetic-is-recursive" on a cone

Uri Andrews, Matthew Harrison-Trainor, Noah Schweber. The property "arithmetic-is-recursive" on a cone. J. Mathematical Logic, 21(3), 2021. [doi]

Abstract

Abstract is missing.