Hostname: page-component-76fb5796d-2lccl Total loading time: 0 Render date: 2024-04-27T20:10:19.910Z Has data issue: false hasContentIssue false

A problem in the theory of constructive order types 1

Published online by Cambridge University Press:  12 March 2014

Robin O. Gandy
Affiliation:
Manchester University
Robert I. Soare
Affiliation:
University of Illinois at Chicago Circle

Extract

J. N. Crossley [1] raised the question of whether the implication 2 + A = A ⇒ 1 + A = A is true for constructive order types (C.O.T.'s). Using an earlier definition of constructive order type, A. G. Hamilton [2] presented a counterexample. Hamilton left open the general question, however, since he pointed out that Crossley considers only orderings which can be embedded in a standard dense r.e. ordering by a partial recursive function, and that his counterexample fails to meet this requirement. We resolve the question by finding a C.O.T. A which meets Crossley's requirement and such that 2 + A = A but 1 + AA. At the suggestion of A. B. Manaster and A. G. Hamilton we easily extend this construction to show that for any n ≧ 2, there is a C.O.T. A such that n + A = A but m + AA for 0 < m < n. Hence, Theorem 3 of [2] and all of its corollaries hold with the new definition of C.O.T. The construction is not difficult and requires no priority argument. The techniques are similar to those developed in [3], but no outside results are needed here.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1970

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

The first author obtained a similar solution in May, 1968. This was unknown to the second author until after he independently solved the problem which was incorrectly announced [2] as unsolved in December, 1968. The second author was supported by National Science Foundation Grant GP 8866. We are grateful to A. B. Manaster and the referee for corrections.

References

[1] Crossley, J. N., Constructive order types, North-Holland, Amsterdam, 1969.Google Scholar
[2] Hamilton, A. G., An unsolved problem in the theory of constructive order types, Journal, vol. 33 (1968), pp. 565567.Google Scholar
[3] Soare, R. I., Recursion theory and Dedekind cuts, Transactions of the American Mathematical Society, vol. 140 (1969), pp. 271294.Google Scholar