The Steel Hierarchy of Ordinal Valued Borel Mappings

Détails

ID Serval
serval:BIB_246AB9C755C0
Type
Article: article d'un périodique ou d'un magazine.
Collection
Publications
Institution
Titre
The Steel Hierarchy of Ordinal Valued Borel Mappings
Périodique
Journal of Symbolic Logic
Auteur⸱e⸱s
Duparc J.
ISSN
0022-4812
Statut éditorial
Publié
Date de publication
2003
Peer-reviewed
Oui
Volume
68
Numéro
1
Pages
187-234
Langue
anglais
Résumé
Given well ordered countable sets of the form $\lamphi$, we consider Borel mappings from $\lamphiom$ with countable image inside the ordinals. The ordinals and $\lamphiom$ are respectively equipped with the discrete topology and the product of the discrete topology on $\lamphi$. The Steel well-ordering on such mappings is defined by $\phi\minf\psi$ iff there exists a continuous function $f$ such that $\phi(x)\leq\psi\circ f(x)$ holds for any $x\in\lamphiom$. It induces a hierarchy of mappings which we give a complete description of. We provide, for each ordinal $\alpha$, a mapping $\T\alpha$ whose rank is precisely $\alpha$ in this hierarchy and we also compute the height of the hierarchy restricted to mappings with image bounded by $\alpha$. These mappings being viewed as partitions of the reals, there is, in most cases, a unique distinguished element of the partition. We analyze the relation between its topological complexity and the rank of the mapping in this hierarchy.
Web of science
Création de la notice
19/11/2007 9:49
Dernière modification de la notice
20/08/2019 13:02
Données d'usage