Sorry, I was more careful in my second mention of "the set of real numbers". Thoughout, I meant "the set of real numbers that arise from set theoretic constructions".

In other words, the object on which the existing proofs of uncountability hold and the object constructed in the talk are not necessarily the same object. In fact, the care taken by Bauer in clarifying "the object of Dedekind reals" in stating his main results leads me to believe the topos in which the Dedekind reals are countable is also a topos in which the Dedekind reals are not equivalent to other constructions of the reals.