两个初等等价的不同构的有限格值模型

TWO ELEMENTARILY EQUIVALENT AND NONISOMORPHIC LATTICE-VALUED FINITE MODELS

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。

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.