加载中…
For a countable, complete, first-order theory , we study , the class of atomic models of . We develop an analogue of -rank and prove two results. On one hand, if some tp(d/a) is not ranked, then there are non-isomorphic models in of size . On the other hand, if all types have finite rank, then the rank is fully additive and every finite tuple is dominated by an independent set of realizations of pseudo-minimal types.

生成讲解博客的中文版本

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