Inspired by Joel David Hamkin's comment---Simon Thomas has provided applications of various super-ridigity theorems (from the ergodic theory of group actions) to the theory of the Borel complexity of countable equivalence relations, for example he shows that the universal countable equivalence relation is not essentially free <cite authors="Thomas, Simon">_Thomas, Simon_, [**Popa superrigidity and countable Borel equivalence relations**](http://dx.doi.org/10.1016/j.apal.2007.08.003), Ann. Pure Appl. Logic 158, No. 3, 175-189 (2009). [ZBL1162.03029](https://zbmath.org/?q=an:1162.03029).</cite>