“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.”