The property "arithmetic-is-recursive" on a cone.
Saved in:
| 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 |
| ISSN: | 02190613 |
|---|---|
| DOI: | 10.1142/S0219061321500215 |