Arithmetical Measure
โ
Sebastiaan A. Terwijn; Leen Torenvliet
๐
Article
๐
1998
๐
John Wiley and Sons
๐
English
โ 612 KB
This yields the same notion of measure 0 set as considered before by Martin-Lof, Schnorr, and others. We prove that the class of sets constructible by r.e.-constructors, a direct analogue of the classes Lutz devised his resource bounded measures for in [lo], is not equal to RE, the class of r.e. set