A classification of Baire class $1$ functions

A New Characterization of Baire Class 1 Functions

We give a new characterization of the Baire class 1 functions (defined on an ultrametric space) by proving that they are exactly the pointwise limits of sequences of full functions, which are particularly simple Lipschitz functions. Moreover we highlight the link between the two classical stratifications of the Borel functions by showing that the Baire class functions of some level are exactly ...

2 Sequences of Baire Class 1 Functions 3

Functions Whose Composition with Baire Class One Functions Are Baire Class One

We study the functions whose composition with Baire class one functions are Baire class one functions. We first prove some characterizations of such functions, then investigate a subclass of such functions which are defined in a natural way.

Ranks on the Baire Class Ξ Functions

In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class 1 functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class ξ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness ...

Recursive Baire Classification and Speedable Functions

Using recursive variants of Baire notions of nowhere dense and meagre sets we study the topological size of speedable and infinitely often speedable functions in a machine-independent framework. We show that the set of speedable functions is not "small" whereas the set of infinitely often speedable functions is "large". In this way we offer partial answers to a question in [4]. MSC: 03D15.