The set of better quasi orderings is $\Pi^1_2$-complete