Hostname: page-component-8448b6f56d-wq2xx Total loading time: 0 Render date: 2024-04-23T13:44:57.059Z Has data issue: false hasContentIssue false

The Complexity of the Collection of Countable Linear Orders of the form I + I

Published online by Cambridge University Press:  12 March 2014

Ferenc Beleznay*
Affiliation:
Department of Analysis, Eötvös Loránd University, Budapest, Rákóczi ÚT 5. 1088., Hungary, E-mail: beleznay@cs.elte.hu

Abstract

First we prove that the set of countable linear orders of the form I + I form a complete analytic set. As a consequence of this we improve a result of Humke and Laczkovich, who showed in [HL] that the set of functions of the form f º f form a true analytic set in C[0,1]. We show that these functions form a complete analytic set, solving a problem mentioned on p. 215 of [Kl] and on p. 4 of [B]

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1999

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.)

References

REFERENCES

[B] Becker, H., Descriptive set theoretic phenomena in analysis and topology, Set theory of the continuum (Judah, H., Just, W., and Woodin, H., editors), no. 26, MSRI publications, Springer, 1992, pp. 125.Google Scholar
[FS] Friedman, H. and Stanley, L., A Borel reducibility theory for classes of countable structures, this Journal, vol. 54 (1989), pp. 894914.Google Scholar
[HL] Humke, P. and Laczkovich, M., The Borel structure of iterates of continuous functions, Proceedings of the Edinburgh Mathematical Society, vol. 32, 1989, pp. 483494.CrossRefGoogle Scholar
[K1] Kechris, A.S., Classical descriptive set theory, Springer, 1995.CrossRefGoogle Scholar
[K2] Kechris, A.S., On the concept of -completeness, Proceedings of the American Mathematical Society, vol. 125 (1997), pp. 18111814.CrossRefGoogle Scholar
[M] Moschovakis, Y.N., Descriptive set theory, Springer, 1980.Google Scholar