Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-10T07:42:46.371Z Has data issue: false hasContentIssue false
  • English
  • Français

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
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
Get access Rights & Permissions [Opens in a new window]

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]

Keywords

Descriptive set theory, complete analytic set, linear order, iterates of continuous functions
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 64 , Issue 4 , December 1999 , pp. 1519 - 1526
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. 1–25.Google Scholar
[FS] Friedman, H. and Stanley, L., A Borel reducibility theory for classes of countable structures, this Journal, vol. 54 (1989), pp. 894–914.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. 483–494.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. 1811–1814.CrossRefGoogle Scholar
[M] Moschovakis, Y.N., Descriptive set theory, Springer, 1980.Google Scholar