The real field is categorically characterized (in second-order logic) as the unique complete ordered field, proved by Huntington in 1903. The complex field is categorically characterized as the unique algebraic closure of the real field, and also as the unique algebraically closed field of characteristic 0 and size continuum. I believe that you are speaking of the model-theoretic first-order notion of categoricity-in-a-cardinal, which is different than the categoricity remarks made in the essay.