Justine Miller (University of Notre Dame)

September 15, 2020 @ 10:00 am – 11:00 am

Title: Noncomputable Coding, Density, and Stochasticity
by Justine Miller (University of Notre Dame) as part of Computability theory and applications

We introduce the into and within set operations in order to construct sets of arbitrary intrinsic density from any Martin-Löf random. We then show that these operations are useful more generally for working with other notions of density as well, in particular for viewing Church and MWC stochasticity as a form of density.