加载中…
2021-09-30
Constructing models of small ordered theories with maximal countable spectrum
Bektur BaizhanovTatyana Zambarnaya
文献摘要
We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本