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.LO2017
Analytic computable structure theory and spaces
Joe Clanin, Timothy H. McNicholl, Don Stull
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if is a computable real, and if is a nonzero, non-…