2 papers
cs.IT2025
Finite-State Dimension and The Davenport Erdős Theorem
Joe Clanin, Matthew Rayman
A 1952 result of Davenport and Erdős states that if is an integer-valued polynomial, then the real number is Borel normal in base ten. A later result of N…
math.LO2025
Effective Versions of Strong Measure Zero
Matthew Rayman
Effective versions of strong measure zero sets are developed for various levels of complexity and computability. It is shown that the sets can be equivalently defined using a gener…