|
|||||
|
|
On Initial Segments of Computable Linear Orders |
|
| Authors: | Richard J Coles Rod Downey Bakhadyr Khoussainov |
| Institution: | (1) Department of Mathematics, Victoria University of Wellington, Wellington, New Zealand;(2) Department of Computer Science, University of Auckland, New Zealand |
| Abstract: | We show there is a computable linear order with a
initial segment that is not isomorphic to any computable linear order. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |