Southern Wisconsin Logic Colloqium

Joe Miller, UW. I will talk about these properties restricted to the Martin-Löf randoms. This line of research turned out, quite surprisingly, to settle two persistent questions about how the K-trivial sequences (those that are, in some sense, as far from random as possible) interact with the Martin-Löf random sequences in the Turing degrees. My focus will be on the proof (with Adam Day) that there is a positive density sequence that is not density-one.