Initial segments of recursive linear orders (Q1267600): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1023/a:1006043601359 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W108828974 / rank | |||
Normal rank | |||
Latest revision as of 08:30, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Initial segments of recursive linear orders |
scientific article |
Statements
Initial segments of recursive linear orders (English)
0 references
25 March 1999
0 references
It is proved that any \({\Sigma}^{0}_{2}\)-initial segment of any recursive linear order can be presented recursively. The result narrows the gap in the result of \textit{M. J. S. Raw} [Complexity of automorphisms of recursive linear orders, Ph.D. Thesis, University of Wisconsin-Madison (1995)] on initial segments of recursive linear orders of arithmetical complexity.
0 references
recursive linear order
0 references
initial segment
0 references
