We prove that linear orderings are primitively recursively categorical over a class of structures K Σ if and only if they contain only finitely many successivities.
|Number of pages||7|
|Journal||Siberian Mathematical Journal|
|Publication status||Published - 1 Jan 2019|
- decidability with primitively recursive witnesses
- linear ordering
- primitively recursive categoricity