EF equivalent not isomorphic models

2007/05/29 by Saharon Shelah, Shelah, Saharon
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Logic, programming, and type systems #math.LO

paper · pdf · doi:10.48550/arxiv.0705.4126

published as Proc. Amer. Math. Soc. 136 No. 12 (2008) 4405--4412

arxiv created 2007/09/25 · arxiv updated 2009/12/01

Abstract

We construct non-isomorphic models M, N, e.g. of cardinality aleph₁ such that in the Ehrenfeucht-Fraisse game of length zeta < omega₁ the isomorphism player wins

Related

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