[FOM] Primitive recursive reals

Adam Kolany dr.a.kolany at wp.pl
Fri Apr 21 05:33:59 EDT 2006

Harvey Friedman napisał(a):

>I have no idea whether the following claims are new.
>They certainly can be substantially sharpened, although it is not clear what
>the ultimate interesting sharpenings are.
>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.

maybe this


could be useful.

Adam Kolany

More information about the FOM mailing list