Journal of Symbolic Logic

Decidable Discrete Linear Orders

M. Moses

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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.

Article information

Source
J. Symbolic Logic, Volume 53, Issue 2 (1988), 531-539.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183742640

Mathematical Reviews number (MathSciNet)
MR947857

Zentralblatt MATH identifier
0658.03026

JSTOR
links.jstor.org

Citation

Moses, M. Decidable Discrete Linear Orders. J. Symbolic Logic 53 (1988), no. 2, 531--539. https://projecteuclid.org/euclid.jsl/1183742640


Export citation