Representability op recursively enumerable sets in formal theories
- 1 March 1960
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 5 (1-2) , 37-41
- https://doi.org/10.1007/bf01977641
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Degrees of formal systemsThe Journal of Symbolic Logic, 1958
- Degrees of unsolvability associated with classes of formalized theoriesThe Journal of Symbolic Logic, 1957
- Creative setsMathematical Logic Quarterly, 1955
- On axiomatizability within a systemThe Journal of Symbolic Logic, 1953