Recursively Categorical Linear Orderings
Author:
- J. B. RemmelJRJ. B. Remmel
- 1 October 1981
- journal article
- Published by JSTOR in Proceedings of the American Mathematical Society
- Vol. 83 (2) , 387-391
Abstract
A recursive structure <!-- MATH $\mathcal{A}$ --> is recursively categorical if every recursive structure <!-- MATH $\mathcal{A}'$ --> isomorphic to <!-- MATH $\mathcal{A}$ --> is recursively isomorphic to <!-- MATH $\mathcal{A}$ --> . We classify the recursively categorical linear orderings as precisely those recursive linear orderings which have only finitely many elements with an immediate successor.