|
|||||
|
|
| 可数模型的ψ—分式模型 | |
| 引用本文： | 刘吉强,沈复兴.可数模型的ψ—分式模型[J].北京师范大学学报(自然科学版),1997,33(4):444-447. |
| 作者姓名： | 刘吉强 沈复兴 |
| 作者单位： | 北京师范大学数学系 |
| 摘 要： | 从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系，然后利用量词法去方法证明了当Ｔ是完全理论时，Ｔψ的完全性，进一步给出了Ｔψ是ω－范畴理论的一个充分必要条件，回答了Ａｓｈ的一个问题。 |
| 关 键 词： | ψ－分式 可数模型 分式模型 |
| 本文献已被 CNKI 维普 等数据库收录！ | |