[FOM] Primitive recursive reals

[Adam Kolany]

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

    http://www.ii.uj.edu.pl/~kolany/bufor/bases/ChangingBases.pdf

could be useful.

Adam Kolany