Finite condensations of recursive linear orders (Q1120568)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite condensations of recursive linear orders |
scientific article |
Statements
Finite condensations of recursive linear orders (English)
0 references
1988
0 references
This paper answers a question raised by J. Rosenstein: that of locating, in the arithmetical hierarchy, the finite condensation of a recursive linear order type. It was proved that (1) there is a recursive linear order whose finite condensation has \(\Pi_ 2-\Pi_ 1\) order type, (2) a linear order type is \(\Pi_{2n}\) iff it is the n-fold finite condensation of a recursive type, and (3) for all \(n\geq 2\) an order type is \(\Pi_ n\) iff it is \(\Sigma_ n\) presented.
0 references
arithmetical hierarchy
0 references
finite condensation of a recursive linear order type
0 references