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

Saved in:
Bibliographic Details
Title: The property "arithmetic-is-recursive" on a cone.
Authors: Andrews, Uri1 andrews@math.wisc.edu, Harrison-Trainor, Matthew2 matthew.harrisontrainor@vuw.ac.nz, Schweber, Noah1 ndschweber@gmail.com
Source: Journal of Mathematical Logic. Dec2021, Vol. 21 Issue 3, p1-18. 18p.
Database: Mathematics Source
Description
ISSN:02190613
DOI:10.1142/S0219061321500215