A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings

@article{Watnick1984AGO,
  title={A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings},
  author={Richard Watnick},
  journal={J. Symb. Log.},
  year={1984},
  volume={49},
  pages={563-569}
}