Classification problems in continuum theory

Camerlo, Riccardo; Darji, Udayan; Marcone, Alberto

doi:10.1090/S0002-9947-05-03956-5

Classification problems in continuum theory
HTML articles powered by AMS MathViewer

by Riccardo Camerlo, Udayan B. Darji and Alberto Marcone PDF

Trans. Amer. Math. Soc. 357 (2005), 4301-4328 Request permission

Abstract:

We study several natural classes and relations occurring in continuum theory from the viewpoint of descriptive set theory and infinite combinatorics. We provide useful characterizations for the relation of likeness among dendrites and show that it is a bqo with countably many equivalence classes. For dendrites with finitely many branch points the homeomorphism and quasi-homeomorphism classes coincide, and the minimal quasi-homeomorphism classes among dendrites with infinitely many branch points are identified. In contrast, we prove that the homeomorphism relation between dendrites is $S_\infty$-universal. It is shown that the classes of trees and graphs are both $\mathrm {D}_{2}({{\boldsymbol \Sigma _{3}^{0}}})$-complete, the class of dendrites is ${{\boldsymbol \Pi _{3}^{0}}}$-complete, and the class of all continua homeomorphic to a graph or dendrite with finitely many branch points is ${{\boldsymbol \Pi _{3}^{0}}}$-complete. We also show that if $G$ is a nondegenerate finitely triangulable continuum, then the class of $G$-like continua is ${\boldsymbol \Pi _{2}^{0}}$-complete.

References

Paul Alexandroff, Über den allgemeinen Dimensionsbegriff und seine Beziehungen zur elementaren geometrischen Anschauung, Math. Ann. 98 (1928), 617–635.
R. H. Bing, Concerning hereditarily indecomposable continua, Pacific J. Math. 1 (1951), 43–51. MR 43451, DOI 10.2140/pjm.1951.1.43
Howard Becker and Alexander S. Kechris, The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996. MR 1425877, DOI 10.1017/CBO9780511735264
Riccardo Camerlo and Su Gao, The completeness of the isomorphism relation for countable Boolean algebras, Trans. Amer. Math. Soc. 353 (2001), no. 2, 491–518. MR 1804507, DOI 10.1090/S0002-9947-00-02659-3
Udayan B. Darji, Complexity of hereditarily decomposable continua, Topology Appl. 103 (2000), no. 3, 243–248. MR 1758437, DOI 10.1016/S0166-8641(99)00028-0
Udayan B. Darji and Alberto Marcone, Complexity of curves, Fund. Math. 182 (2004), no. 1, 79–93. MR 2100716, DOI 10.4064/fm182-1-4
Harvey Friedman and Lee Stanley, A Borel reducibility theory for classes of countable structures, J. Symbolic Logic 54 (1989), no. 3, 894–914. MR 1011177, DOI 10.2307/2274750
Greg Hjorth, Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol. 75, American Mathematical Society, Providence, RI, 2000. MR 1725642, DOI 10.1090/surv/075
Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
Alexander S. Kechris, Actions of Polish groups and classification problems, Analysis and logic (Mons, 1997) London Math. Soc. Lecture Note Ser., vol. 262, Cambridge Univ. Press, Cambridge, 2002, pp. 115–187. MR 1967835
Kazimierz Kuratowski, Évaluation de la classe borélienne ou projective d’un ensemble de points à l’aide des symboles logiques, Fund. Math. 17 (1931), 249–272.
K. Kuratowski, Topology. Vol. II, Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1968. New edition, revised and augmented; Translated from the French by A. Kirkor. MR 0259835
Hisao Kato and Xiangdong Ye, On Burgess’s theorem and related problems, Proc. Amer. Math. Soc. 128 (2000), no. 8, 2501–2506. MR 1653402, DOI 10.1090/S0002-9939-00-05247-3
Richard Laver, On Fraïssé’s order type conjecture, Ann. of Math. (2) 93 (1971), 89–111. MR 279005, DOI 10.2307/1970754
Stefan Mazurkiewicz, Sur l’ensemble des continus péaniens, Fund. Math. 17 (1931), 273–274.
E. C. Milner, Basic wqo- and bqo-theory, Graphs and order (Banff, Alta., 1984) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 147, Reidel, Dordrecht, 1985, pp. 487–502. MR 818505
Alberto Marcone and Christian Rosendal, The complexity of continuous embeddability between dendrites, J. Symbolic Logic 69 (2004), no. 3, 663–673. MR 2078915, DOI 10.2178/jsl/1096901760
Sam B. Nadler Jr., Continuum theory, Monographs and Textbooks in Pure and Applied Mathematics, vol. 158, Marcel Dekker, Inc., New York, 1992. An introduction. MR 1192552
Sam B. Nadler Jr., Continuum theory, Monographs and Textbooks in Pure and Applied Mathematics, vol. 158, Marcel Dekker, Inc., New York, 1992. An introduction. MR 1192552
Stephen G. Simpson, Bqo-theory and Fraïssé’s conjecture, Recursive aspects of descriptive set theory, Oxford University Press, New York, 1985, by Richard Mansfield and Galen Weitkamp, pp. 124–138.
R. H. Sorgenfrey, Concerning continua irreducible about $n$ points, Amer. J. Math. 68 (1946), 667–671. MR 17523, DOI 10.2307/2371790
J. van Mill, Infinite-dimensional topology, North-Holland Mathematical Library, vol. 43, North-Holland Publishing Co., Amsterdam, 1989. Prerequisites and introduction. MR 977744