Notes on Measure and Category in Recursion Theory
Hisao Tanaka · Annals of the Japan Association for Philosophy of Science · 1970
Introduction.Recently, several results obtained by associating Kleene's arithmetic or analytic sets with their measurability or Baire categoricity have been presented.(Hinman [1], Martin-Lof [5], Sacks [8], Tanaka [11, 12, 13], Thomason [15] and others.)In what follows, we shall note some results on this line.