|  | 
          
            | Abstract |  
            | We prove Cherlin’s conjecture, concerning binary primitive permutation groups, for
 those groups with socle isomorphic to a sporadic simple group.
  |  
          
            | Keywords
                primitive permutation group, relational complexity, binary
                action, sporadic group, almost simple group
               |  
          
            | Mathematical Subject Classification 2010
                Primary: 03C13, 20B15, 20D08
               |  
          
            | Milestones
                Received: 21 July 2017
               
                Revised: 27 April 2018
               
                Accepted: 28 April 2018
               
                Published: 7 October 2018
               |  |