• Categorical Linearly Ordered Structures 

      [OWP-2018-08] Downey, Rod; Melnikov, Alexander; Ng, Keng Meng (Mathematisches Forschungsinstitut Oberwolfach, 2018-04-26)
      We prove that for every computable limit ordinal $\alpha$ there exists a computable linear ordering $\mathcal{A}$ which is $\Delta^0_\alpha$-categorical and $\alpha$ is smallest such, but nonetheless for every isomorphic ...