| 两个初等等价的不同构的有限格值模型 |
| |
| 引用本文： | 沈云付. 两个初等等价的不同构的有限格值模型[J]. 北京师范大学学报(自然科学版), 1994, 30(3): 317-320 |
| |
| 作者姓名： | 沈云付 |
| |
| 作者单位： | 北京师范大学数学系 |
| |
| 摘 要： | 在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。
|
| 关 键 词： | 格值模型 初等等价 同构 |
TWO ELEMENTARILY EQUIVALENT AND NONISOMORPHIC LATTICE-VALUED FINITE MODELS |
| |
| Shen Yunfu. TWO ELEMENTARILY EQUIVALENT AND NONISOMORPHIC LATTICE-VALUED FINITE MODELS[J]. Journal of Beijing Normal University(Natural Science), 1994, 30(3): 317-320 |
| |
| Authors: | Shen Yunfu |
| |
| Abstract: | In 2-valued model theory two elementarily equivalent models of finite powers are certainly isomorphic. A counter example is given to show that the same proposition in lattice-valued version is not true, which also shows that Keisler-Shelah's isomorphism theorem is not valid. |
| |
| Keywords: | lattice-valued model elementary equivalence isomorphism |
| 本文献已被 CNKI 维普 等数据库收录！ |
