Diophantine representation of enumerable predicates
- 1 July 1972
- journal article
- research article
- Published by Springer Nature in Mathematical Notes
- Vol. 12 (1) , 501-504
- https://doi.org/10.1007/bf01094400
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- An explicit diophantine definition of the exponential functionCommunications on Pure and Applied Mathematics, 1971
- Arithmetical problems and recursively enumerable predicatesThe Journal of Symbolic Logic, 1953