Representability of recursively enumerable sets in formal theories
- 1 March 1961
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 5 (3-4) , 119-127
- https://doi.org/10.1007/bf01974157
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Exact separation of recursively enumerable sets within theoriesProceedings of the American Mathematical Society, 1960
- Degrees of formal systemsThe Journal of Symbolic Logic, 1958
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958
- Undecidability and recursive inseparabilityMathematical Logic Quarterly, 1958
- Myhill John. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 97–108.The Journal of Symbolic Logic, 1957
- Creative setsMathematical Logic Quarterly, 1955