On initial segments of computable linear orders (Q1267602): Difference between revisions

It is shown that there is a computable linear order that has an initial segment \({\mathcal A}\) such that \({\mathcal A}\) is \(\Pi^0_2\), is isomorphic to the set of rational numbers with the usual ordering, and has the key property that it is not isomorphic to a computable linear order. This stands in contrast with a recent result of Ambos-Spies, Cooper, and Lempp that states that every \(\Sigma_2^0\) initial segment of a computable linear order is isomorphic to a computable linear order.