1: \begin{abstract}

2: We prove that the class of 231-avoiding permutations satisfies a convergence law,

3: i.e.~that for any first-order sentence $\Psi$, in the language of two total orders, the probability $p_{n,\Psi}$ that

4: a uniform random 231-avoiding permutation of size $n$ satisfies $\Psi$

5: admits a limit as $n$ is large.

6: Moreover, we establish two further results about the behaviour and value of $p_{n,\Psi}$:

7: (i) it is either bounded away from $0$, or decays exponentially fast;

8: (ii) the set of possible limits is dense in $[0,1]$.

9: Our tools come mainly from analytic combinatorics and singularity analysis.

10: \end{abstract}

11: