A logical limit law for $231$-avoiding permutations

We prove that the class of 231-avoiding permutations satisfies a logical limit law, i.e. that for any first-order sentence Ψ, in the language of two total orders, the probability pn,Ψ that a uniform random 231-avoiding permutation of size n satisfies Ψ admits a limit as n is large. Moreover, we establish two further results about the behavior and value of pn,Ψ: (i) it is either bounded away from $0$, or decays exponentially fast; (ii) the set of possible limits is dense in $[0,1]$. Our tools come mainly from analytic combinatorics and singularity analysis.