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