Röver’s simple group is of type F_\infty
          Belk, James; Matucci, Francesco  
          
          Publicacions Matematiques, 60(2) (2016), 501-524  
          https://dx.doi.org/10.5565/PUBLMAT_60216_07  
           
          We prove that Claas Rover's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing a filtered simplicial complex on which $V\mathcal{G}$ acts, and then analyzing the descending links  
         |