Measurability and Perfect Set Theorems for Equivalence Relations with Small Classes

Abstract: We ask whether

m a t h b f D e l t a_{2}^{1}

or

m a t h b f S i g m a_{2}^{1}

equivalence relations with

I

-small classes for

I

a

s i g m a

-ideal must have perfectly many classes. We show that for a wide class of ccc

s i g m a

-ideals, a positive answer for

m a t h b f D e l t a_{2}^{1}

equivalence relations is equivalent to the

I

-measurability of

m a t h b f D e l t a_{2}^{1}

sets. However, the analogous statement for

m a t h b f S i g m a_{2}^{1}

equivalence relations is false:

m a t h b f S i g m a_{2}^{1}

equivalence relations with meager classes have a perfect set of pairwise inequivalent elements if and only if

m a t h b f D e l t a_{2}^{1}

sets have the Baire property.

This page was built for publication: Measurability and Perfect Set Theorems for Equivalence Relations with Small Classes