Equivalence Relations and Determinacy

Abstract: We introduce the notion of

(G a m m a, E)

-determinacy for

G a m m a

a pointclass and

E

an equivalence relation on a Polish space

X

. A case of particular interest is the case when

E = E_{G}

is the (left) shift-action of

G

on

S^{G}

where

S = 2 = 0, 1

or

S = o m e g a

. We show that for all shift actions by countable groups

G

, and any "reasonable" pointclass

G a m m a

, that

(G a m m a, E_{G})

-determinacy implies

G a m m a

-determinacy. We also prove a corresponding result when

E

is a subshift of finite type of the shift map on

2^{m} a t h b b Z

.

This page was built for publication: Equivalence Relations and Determinacy