Arithmetical representations of enumerable sets with a small number of quantifiers
- 1 October 1976
- journal article
- Published by Springer Nature in Journal of Mathematical Sciences
- Vol. 6 (4) , 410-416
- https://doi.org/10.1007/bf01084081
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Some representations of Diophantine setsThe Journal of Symbolic Logic, 1972
- Arithmetical representation of recursively enumerable setsThe Journal of Symbolic Logic, 1956
- Arithmetical problems and recursively enumerable predicatesThe Journal of Symbolic Logic, 1953