Existence of EF-equivalent non-isomorphic models

DOI10.1002/MALQ.200610031MaRDI QIDQ3437036zbMATH OpenOpenAlexFDO

Authors Chanoch Havlin, S. Shelah

Publication date 11 May 2007

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0612245

zbMATH Keywords

Ehrenfeucht-Fraïssé gamesinfinitary logicsmodel theorynon-isomorphic

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other infinitary logic (03C75)

Abstract: We prove the existence of pairs of models of the same cardinality lambda which are very equivalent according to EF games, but not isomorphic. We continue the paper math.LO/0404222, but we don't rely on it.

Recommendations

• On long EF-equivalence in non-isomorphic models
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
• On potential isomorphism and non-structure
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• A pair of nonisomorphic \(\equiv _{\infty \lambda}\) models of power \(\lambda\) for \(\lambda\) singular with \(\lambda ^{\omega}=\lambda\)

Cites work

• scientific article; zbMATH DE number 1163933 (Why is no real title available?)
• On long EF-equivalence in non-isomorphic models

Cited in

(7)

• Theories with Ehrenfeucht-Fraïssé equivalent non-isomorphic models
• EF-equivalent not isomorphic pair of models
• Some Properties of ∀∃ Models in the Isols
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• Strongly dependent theories
• On long EF-equivalence in non-isomorphic models
• Twins: non-isomorphic models forced to be isomorphic. I

This page was built for publication: Existence of EF-equivalent non-isomorphic models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3437036)