Finite condensations of recursive linear orders

Studia Logica - Tập 47 Số 4 - Trang 311-317 - 1988
Dev Kumar Roy1,2, Richard Watnick1,2
1Department of Mathematics, Florida International University, Miami, USA
2Department of Mathematics, University of Connecticut, Stamford, USA

Tóm tắt

Từ khóa


Tài liệu tham khảo

J. G. Rosenstein,Linear Orderings, Academic Press, New York, 1982.

D. K. Roy,R.e. presented linear orders,Journal of Symbolic Logic 48 (1983), pp. 369?376.

D. K. Roy,Linear order types of nonrecursive presentability,Zeitschrift f�r mathematische Logik und Grundlagen der Matematik 31 (1985), pp. 495?501.

R. Watnick,A generalization of Tennenbaum's theorem,Journal of Symbolic Logic 49 (1984), pp. 563?569.

Thông tin
Thông tin xuất bản

Studia Logica

Tập 47 Số 4

311-317

Thông tin tác giả