Primitively recursively categorical linear orderings
decidability with primitively recursive witnesses
scientific article; zbMATH DE number 7079956