加载中…
We show there exists a complete theory in a language of size continuum possessing a unique atomic model which is not constructible. We also show it is consistent with that there is a complete theory in a language of size possessing a unique atomic model which is not constructible. Finally we show it is consistent with $ZFC + \aleph_1 < 2^{\aleph_0}T\aleph_1T$ has uncountable atomic models but no constructible models, then has atomic models of size .

生成讲解博客的中文版本

生成AI智能校验的中文版本