Theories with EF-Equivalent Non-Isomorphic Models

Details Theories with EF-Equivalent Non-Isomorphic Models Theories with EF-Equivalent Non-Isomorphic Models

2007-03-16

arxiv.org/abs/math/0703477v2

Mathematics

Logic

Scientific paper

Our ``large scale'' aim is to characterize the first order 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 ([Sh:c,XII]) we get a strong dichotomy, so in the non-structure side we have more, better example, 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) or just not strongly stable, even for PC(T_1,T) and more for unstable T (see [Sh:c,VII] or [Sh:h]) and infinite linear order I.

Affiliated with

Also associated with

No associations

Rating

Theories with EF-Equivalent Non-Isomorphic Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Theories with EF-Equivalent Non-Isomorphic Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Theories with EF-Equivalent Non-Isomorphic Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-679902