1 problem

The $\omega$-categoricity conjecture. The set $\mathcal{X}$ is $\omega$-categorical if and only if there is a positive integer $k$ such that, for every such tuple $x_1,\ldots,x_n$,…