## Journal of Symbolic Logic

- J. Symbolic Logic
- Volume 68, Issue 1 (2003), 187-234.

### The Steel hierarchy of ordinal valued Borel mappings

#### Abstract

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.

#### Article information

**Source**

J. Symbolic Logic, Volume 68, Issue 1 (2003), 187-234.

**Dates**

First available in Project Euclid: 21 February 2003

**Permanent link to this document**

https://projecteuclid.org/euclid.jsl/1045861511

**Digital Object Identifier**

doi:10.2178/jsl/1045861511

**Mathematical Reviews number (MathSciNet)**

MR1959317

**Zentralblatt MATH identifier**

1050.03032

#### Citation

Duparc, J. The Steel hierarchy of ordinal valued Borel mappings. J. Symbolic Logic 68 (2003), no. 1, 187--234. doi:10.2178/jsl/1045861511. https://projecteuclid.org/euclid.jsl/1045861511