We shall take for granted the extension of these ideas to computably convergent complex sequences, and the natural definitions of computable continuity. |
We build an uncountably categorical but not countably categorical theory whose only computably presentable model is the saturated one. |