加载中…
Let be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of .

生成讲解博客的中文版本

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