The Steel hierarchy of ordinal valued Borel mappings
Duparc, J.
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 187-234 / Harvested from Project Euclid
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.
Publié le : 2003-03-14
Classification: 
@article{1045861511,
     author = {Duparc, J.},
     title = {The Steel hierarchy of ordinal valued Borel mappings},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 187-234},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1045861511}
}
Duparc, J. The Steel hierarchy of ordinal valued Borel mappings. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  187-234. http://gdmltest.u-ga.fr/item/1045861511/