Browsing 2012 by MFO Series ID "OWP-2012-17"

Now showing items 1-1 of 1

    • K-Triviality, Oberwolfach randomness, and differentiability 

      [OWP-2012-17] Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonin; Nies, André; Turetsky, Dan (Mathematisches Forschungsinstitut Oberwolfach, 2012-12-21)
      We show that a Martin-Lof random set for which the effective version of the Lebesgue density theorem fails computes every $K$-trivial set. Combined with a recent result by Day and Miller, this gives a positive solution to ...