Arithmetical Sets and Retracing Functions
- 1 January 1967
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 13 (13-14) , 193-204
- https://doi.org/10.1002/malq.19670131302
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- On properties of regressive setsTransactions of the American Mathematical Society, 1965
- Co-immune retraceable setsBulletin of the American Mathematical Society, 1965
- Some observations on quasicohesive sets.The Michigan Mathematical Journal, 1964
- Infinite series of isolsProceedings of Symposia in Pure Mathematics, 1962
- Degrees of modelsThe Journal of Symbolic Logic, 1960
- On a problem of Kleene’sBulletin of the American Mathematical Society, 1960
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958
- Retraceable SetsCanadian Journal of Mathematics, 1958
- Arithmetical predicates and function quantifiersTransactions of the American Mathematical Society, 1955
- Hierarchies of number-theoretic predicatesBulletin of the American Mathematical Society, 1955