The Ehrenfeucht-Fraisse-game of length omega_1

Details The Ehrenfeucht-Fraisse-game of length omega_1 The Ehrenfeucht-Fraisse-game of length omega_1

1993-05-15

arxiv.org/abs/math/9305204v1

Trans. Amer. Math. Soc. 339 (1993), 567--580

Mathematics

Logic

Scientific paper

Let (A) and (B) be two first order structures of the same vocabulary. We shall consider the Ehrenfeucht-Fra{i}sse-game of length omega_1 of A and B which we denote by G_{omega_1}(A,B). This game is like the ordinary Ehrenfeucht-Fraisse-game of L_{omega omega} except that there are omega_1 moves. It is clear that G_{omega_1}(A,B) is determined if A and B are of cardinality <= aleph_1. We prove the following results: Theorem A: If V=L, then there are models A and B of cardinality aleph_2 such that the game G_{omega_1}(A,B) is non-determined. Theorem B: If it is consistent that there is a measurable cardinal, then it is consistent that G_{omega_1}(A,B) is determined for all A and B of cardinality <= aleph_2. Theorem C: For any kappa >= aleph_3 there are A and B of cardinality kappa such that the game G_{omega_1}(A,B) is non-determined.

Affiliated with

Also associated with

No associations

Rating

The Ehrenfeucht-Fraisse-game of length omega_1 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 The Ehrenfeucht-Fraisse-game of length omega_1, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Ehrenfeucht-Fraisse-game of length omega_1 will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-396761