On the Borel complexity of continued fraction normal, absolutely abnormal numbers

Steve Jackson, Bill Mance, Joseph Vandehey

We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal…