搜索结果: 1-1 共查到“理学 countable theories”相关记录1条 . 查询时间(0.072 秒)
Let T be a complete, first-order theory in a finite or countable
language having infinite models. Let I(T, κ) be the number of isomorphism
types of models of T of cardinality κ. We denote by µ...