The α-finite injury method
- 30 November 1972
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 4 (4) , 343-367
- https://doi.org/10.1016/0003-4843(72)90004-6
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Some minimal pairs of α-recursively enumerable degreesAnnals of Mathematical Logic, 1972
- Implicit definability and infinitary languagesThe Journal of Symbolic Logic, 1968
- Metarecursively enumerable sets and their metadegreesThe Journal of Symbolic Logic, 1968
- The Priority Method IMathematical Logic Quarterly, 1967
- Metarecursive setsThe Journal of Symbolic Logic, 1965
- On the recursive functions of ordinal numbers.Journal of the Mathematical Society of Japan, 1960