[FOM] Primitive recursive reals

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Wed Apr 19 18:48:55 EDT 2006

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

More information about the FOM mailing list