Canonization of smooth equivalence relations on infinite-dimensional E₀-large products

Abstract: A canonization scheme for smooth equivalence relations on

m a t h b b R^{o} m e g a

modulo restriction to infinite perfect products is proposed. It shows that given a pair of Borel smooth equivalence relations

m a t h s f E, m a t h s f F

on

m a t h b b R^{o} m e g a

, there is an infinite perfect product

P s u b s e t e q m a t h b b R^{o} m e g a

such that either

m a t h s f F s u b s e t e q m a t h s f E

on

P

, or, for some

j < o m e g a

, the following is true for all

x, y i n P

:

x, m a t h s f E, y

implies

x (j) = y (j)

, and

x e s t r i c t i o n (o m e g a s m a l l s e t m i n u s j) = y e s t r i c t i o n (o m e g a s m a l l s e t m i n u s j)

implies

x, m a t h s f F, y

.

Cites Work

This page was built for publication: Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products