Notes on Measure and Category in Recursion Theory
- 1 January 1970
- journal article
- Published by The Japan Association for Philosophy of Science in Annals of the Japan Association for Philosophy of Science
- Vol. 3 (5) , 231-241
- https://doi.org/10.4288/jafpos1956.3.231
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Some results in the effective descriptive set theoryPublications of the Research Institute for Mathematical Sciences, 1967
- The forcing method and the upper semilattice of hyperdegreesTransactions of the American Mathematical Society, 1967
- Measure-theoretic uniformityBulletin of the American Mathematical Society, 1967
- The definition of random sequencesInformation and Control, 1966
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955