Theories with Ehrenfeucht-Fraïssé equivalent non-isomorphic models

MaRDI QIDQ1014381zbMATH OpenFDO

Authors S. Shelah

Publication date 28 April 2009

Published in Tbilisi Mathematical Journal (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other classical first-order model theory (03C68) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda which are EF_{alpha, lambda}-equivalent. We expect that as in the main gap we get a strong dichotomy, so in the non-structure side we have stronger, better examples, and in the structure side we have a parallel of [Sh:c,XIII]. We presently prove the consistency of the non-structure side for T which is aleph_0-independent (= not strongly dependent), even for PC(T_1, T).

Recommendations

• On long EF-equivalence in non-isomorphic models
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• More on the Ehrenfeucht–Fraisse game of length ω₁
• Existence of EF-equivalent non-isomorphic models

Cited in

(6)

• Quite free complicated abelian groups, pcf and black boxes
• More on weak diamond
• Strongly dependent theories
• On long EF-equivalence in non-isomorphic models
• Twins: non-isomorphic models forced to be isomorphic. I
• Vive la différence. III

This page was built for publication: Theories with Ehrenfeucht-Fraïssé equivalent non-isomorphic models

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