Decidable discrete linear orders
Michael F. Moses · Journal of Symbolic Logic · 1988
Abstract Three classes of decidable discrete linear orders with varying degrees of effectiveness are investigated. We consider how a classical order type may lie in relation to these three classes, and we characterize by their order types elements of these classes that have effective nontrivial self-embeddings.