[FOM] Primitive recursive reals

[hendrik@topoi.pooq.com]

On Wed, Apr 19, 2006 at 09:38:32AM -0400, Harvey Friedman wrote:
> 
> THEOREM 1. Let b1 and b2 be two bases, neither of which is a power of the
> other. There exists a real number that is (extremely) primitive recursive in
> base b1 but not primitive recursive in base b2.

Is the condition on bases quite right?  What if b1 is 4 and b2 is 8?  

-- hendrik boom