Two elemenarily equivalent and nonisomorphic lattice-valued finite models. (Chinese. English summary) Zbl 0814.03031
Summary: In 2-valued model theory two elementarily equivalent models of finite powers are certainly isomorphic. A counterexample is given to show that the same proposition is not true in the lattice-valued version, which also shows that Keisler-Shelah’s isomorphism theorem is not valid.
MSC:
03C90 | Nonclassical models (Boolean-valued, sheaf, etc.) |