Auflistung nach Autor "Ng, Keng Meng"
Anzeige der Dokumente 1-1 von 1
-
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 α there exists a computable linear ordering A which is Δ0α-categorical and α is smallest such, but nonetheless for every isomorphic ...