The Steel Hierarchy of Ordinal Valued Borel Mappings

Details

Serval ID
serval:BIB_246AB9C755C0
Type
Article: article from journal or magazin.
Collection
Publications
Institution
Title
The Steel Hierarchy of Ordinal Valued Borel Mappings
Journal
Journal of Symbolic Logic
Author(s)
Duparc J.
ISSN
0022-4812
Publication state
Published
Issued date
2003
Peer-reviewed
Oui
Volume
68
Number
1
Pages
187-234
Language
english
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.
Web of science
Create date
19/11/2007 9:49
Last modification date
20/08/2019 13:02
Usage data