Article contents
Decidable discrete linear orders
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1988
Footnotes
The author wishes to acknowledge helpful discussions with Iraj Kalantari and the invaluable assistance of Carolina Hinestrosa.
References
REFERENCES
- 3
- Cited by