|
|||||
|
|
Initial Segments of Recursive Linear Orders |
|
| Authors: | Klaus Ambos-Spies S. Barry Cooper Steffen Lempp |
| Affiliation: | (1) Mathematisches Institut, Universität Heidelberg, D-69120 Heidelberg, Germany;(2) School of Mathematics, University of Leeds, Leeds, LS2 9JT, England;(3) Department of Mathematics, University of Wisconsin, Madison, WI 53706-1388, USA |
| Abstract: | We show that any  -initial segment of a recursive linear order can be presented recursively. |
| Keywords: | recursive linear order initial segment |
| 本文献已被 SpringerLink 等数据库收录！ | |