Publication | Closed Access
Recursively categorical linear orderings
113
Citations
1
References
1981
Year
Order TheoryRecursive StructureImmediate SuccessorOrder-sorted LogicDiscrete MathematicsCategorical LogicCategorical Linear OrderingsCategorical ModelRecursive FunctionComputability Theory
A recursive structure & is recursively categorical if every recursive structure &' isomorphic to & is recursively isomorphic to &.We classify the recursively categorical linear orderings as precisely those recursive linear orderings L which have only finitely many elements with an immediate successor.
| Year | Citations | |
|---|---|---|
Page 1
Page 1