摘要
从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系，然后利用量词消去方法证明了当T是完全理论时，Tψ的完全性，进一步给出了Tψ是ω－范畴理论的一个充分必要条件，回答了Ash的一个问题．
The fractions of different countable models are studied from some special cases.By using elimination of quantifiers,the completeness of T is decided by T. A necessary and sufficient condition is obtained if T is ω-categorical. One problem Ash promoted is answered.
出处
《北京师范大学学报（自然科学版）》
CAS
CSCD
北大核心
1997年第4期444-447,共4页
Journal of Beijing Normal University(Natural Science)
基金
国家自然科学基金!19571009
关键词
ψ-分式
可数模型
分式模型
fraction
totally indiscernible
T- equivalent
open formula
