Polynomial Space Randomness in Analysis

Xiang Huang, D. M. Stull

We study the interaction between polynomial space randomness and a fundamental result of analysis, the Lebesgue differentiation theorem. We generalize Ko's framework for polynomial…