An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated

Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin. An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. Notre Dame Journal of Formal Logic, 47(1):63-71, 2006. [doi]

Abstract

Abstract is missing.