1: \begin{abstract}

2:   In this expository article, we give a survey of Adrian Ioana's

3:   cocycle superrigidity theorem for profinite actions of Property~(T)

4:   groups, and its applications to ergodic theory and set theory.  In

5:   addition to a statement and proof of Ioana's theorem, this article

6:   features:

7:   \begin{itemize}

8:   \item An introduction to rigidity, including a crash course in Borel

9:     cocycles and a summary of some of the best-known superrigidity

10:     theorems;

11:   \item Some easy applications of superrigidity, both to ergodic

12:     theory (orbit equivalence) and set theory (Borel reducibility);

13:     and

14:   \item A streamlined proof of Simon Thomas's theorem that the

15:     classification of torsion-free abelian groups of finite rank is

16:     intractable.

17:   \end{itemize}  

18: \end{abstract}

19: