A long EF-equivalence non isomorphic models
Logic
2007-05-23 v2
Abstract
There has been much interest on constructing models which are not isomorphic of cardinality lambda but are equivalent under the Ehrenfeucht-Fraisse game of length alpha even for every alpha<lambda. So under G.C.H. we know much. We deal here with constructions of such pairs of models proven in ZFC and get the existence under mild conditions.
Cite
@article{arxiv.math/0404222,
title = {A long EF-equivalence non isomorphic models},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0404222},
year = {2007}
}