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]

@article{AndrewsHS21,
  title = {The property "arithmetic-is-recursive" on a cone},
  author = {Uri Andrews and Matthew Harrison-Trainor and Noah Schweber},
  year = {2021},
  doi = {10.1142/S0219061321500215},
  url = {https://doi.org/10.1142/S0219061321500215},
  researchr = {https://researchr.org/publication/AndrewsHS21},
  cites = {0},
  citedby = {0},
  journal = {J. Mathematical Logic},
  volume = {21},
  number = {3},
}