Equivalence relations invariant under group actions

Tomasz Rzepecki

We extend some recent results about bounded invariant equivalence relations and invariant subgroups of definable groups: we show that type-definability and smoothness are equivalen…