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 $D_2( \boldsymbol \Sigma^0_3)$-complete, the class of dendrites is $ \boldsymbol \Pi^0_3$-complete, and the class of all continua homeomorphic to a graph or dendrite with finitely many branch points is $ \boldsymbol \Pi^0_3$-complete. We also show that if $G$ is a nondegenerate finitely triangulable continuum, then the class of $G$-like continua is $ \bolbsymbol \Pi^0_2$-complete.

Classification problems in continuum theory / Camerlo, Riccardo; U. B., Darji; A., Marcone. - In: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. - ISSN 0002-9947. - 357:(2005), pp. 4301-4328.

Classification problems in continuum theory

CAMERLO, RICCARDO;
2005

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 $D_2( \boldsymbol \Sigma^0_3)$-complete, the class of dendrites is $ \boldsymbol \Pi^0_3$-complete, and the class of all continua homeomorphic to a graph or dendrite with finitely many branch points is $ \boldsymbol \Pi^0_3$-complete. We also show that if $G$ is a nondegenerate finitely triangulable continuum, then the class of $G$-like continua is $ \bolbsymbol \Pi^0_2$-complete.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1398386
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo