Login / Signup

An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated.

Bakhadyr KhoussainovDenis R. HirschfeldtPavel Semukhin
Published in: Notre Dame J. Formal Log. (2006)
Keyphrases