More on the Ehrenfencht-Fraisse game of length omega_1

Details More on the Ehrenfencht-Fraisse game of length omega_1 More on the Ehrenfencht-Fraisse game of length omega_1

2002-12-17

arxiv.org/abs/math/0212234v1

Mathematics

Logic

Scientific paper

Let A and B be two first order structures of the same relational vocabulary L. The Ehrenfeucht-Fraisse-game of length gamma of A and B denoted by EFG_gamma(A,B) is defined as follows: There are two players called for all and exists. First for all plays x_0 and then exists plays y_0. After this for all plays x_1, and exists plays y_1, and so on. Eventually a sequence <(x_beta,y_beta): beta has been played. The rules of the game say that both players have to play elements of A cup B. Moreover, if for all plays his x_beta in A (B), then exists has to play his y_beta in B (A). Thus the sequence < (x_beta,y_beta):beta determines a relation pi subseteq AxB. Player exists wins this round of the game if pi is a partial isomorphism. Otherwise for all wins. The game EFG_gamma^delta (A,B) is defined similarly except that the players play sequences of length

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-259500