LIMIT COMPUTABILITY AND CONSTRUCTIVE MEASURE
Denis R. Hirschfeldt, Sebastiaan A. Terwijn · Lecture notes series, Institute For Mathematical Sciences · 2008
Abstract. In this paper we study constructive measure and dimension in the class 02 of limit computable sets. We prove that the lower cone of any Turing-incomplete set in 02 has 0 2-dimension 0, and in contrast, that although the upper cone of a noncomputable set in 02 always has 0 2-measure 0, upper cones in 02 have nonzero