A long EF-equivalence non isomorphic models

2004/04/12 by Saharon Shelah, Shelah, Saharon
Engineering · Mathematics · #FOS: Mathematics #Logic (math.LO) #Power System Optimization and Stability #math.LO

paper · pdf · doi:10.48550/arxiv.math/0404222

published as in: {Logic Colloquium '03} (2006) 315--325

openalex publication_date 2004/04/12 · arxiv created 2004/04/13 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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

Related

• EF equivalent not isomorphic models
• Existence of EF-equivalent Non Isomorphic Models
• Theories with EF-Equivalent Non-Isomorphic Models
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• More on the Ehrenfencht-Fraisse game of length omega₁