[jtimdwyer]

I may be misunderstanding your concern, but I believe this is what is meant by "Categoricity for the real numbers"