Related papers: On ordinal ranks of 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…

Let $K$ be a compact metric space. A real-valued function on $K$ is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. In this paper, we study two well known ordinal indices of…

Kechris and Louveau showed that each real-valued bounded Baire class 1 function defined on a compact metric space can be written as an alternating sum of a decreasing countable transfinite sequence of upper semi-continuous functions.…

A classical theorem of Kuratowski says that every Baire one function on a G_\delta subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer…

For each ordinal $0\leqslant \xi\leqslant \omega_1$, we introduce the notion of a $\xi$-completely continuous operator and prove that for each ordinal $0< \xi< \omega_1$, the class $\mathfrak{V}_\xi$ of $\xi$-completely continuous operators…

In the 1970s M. Laczkovich posed the following problem: Let $\mathcal{B}_1(X)$ denote the set of Baire class $1$ functions defined on an uncountable Polish space $X$ equipped with the pointwise ordering. \[\text{Characterize the order types…

The paper considers the spaces $B_p[1, \alpha]$ of all Baire functions $x\colon [1,\alpha]\to \mathbb{R}$, defined on segments of ordinals $[1,\alpha]$ and endowed with the topology of pointwise convergence. A complete topological…

Let $\lambda$ be an uncountable cardinal such that $2^{< \lambda } = \lambda$. Working in the setup of generalized descriptive set theory, we study the structure of $\lambda^+$-Borel measurable functions with respect to various kinds of…

Given a hereditary class $\mathcal{F}$ of finite relational structures, the rank function $\mathsf{rk}:\sigma\mathcal{F}\to\omega_1\cup\{\infty\}$, introduced by Kubi\'{s} and Shelah, measures how far a countable structure is from being…

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).…

We prove that for any $\alpha\in[0,\omega_1)$ there exists a strongly separately continuous function $f:\ell_\infty\to [0,1]$ such that $f$ belongs to the $(\alpha+1)$'th /$(\alpha+2)$'th/ Baire class and does not belong to the $\alpha$'th…

We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide…

We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differentiable function is an ordinal less than omega_1 which measures how complex it is to verify…

A fundamental result proved by Bourgain, Fremlin and Talagrand states that the space $B_1(M)$ of Baire one functions over a Polish space $M$ is an angelic space. Stegall extended this result by showing that the class $B_1(M,E)$ of Baire one…

We answer a question of O. Kalenda and J. Spurn\'{y} and give an example of a completely regular hereditarily Baire space $X$ and a Baire-one function $f:X\to [0,1]$ which can not be extended to a Baire-one function on $\beta X$.

Some zeta functions which are naturally attached to the locally homogeneous vector bundles over compact locally symmetric spaces of rank one are investigated. We prove that such functions can be expressed in terms of entire functions whose…

This paper introduces the ring of all real valued Baire one functions, denoted by $B_1(X)$ and also the ring of all real valued bounded Baire one functions, denoted by $B_1^*(X)$. Though the resemblance between $C(X)$ and $B_1(X)$ is the…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

Let $B_{1}(\Omega, \mathbb R)$ be the first Baire class of real functions in the pluri-fine topology on an open set $\Omega \subseteq \mathbb C^{n}$ and let $H_{1}^{*}(\Omega, \mathbb R)$ be the first functional Lebesgue class of real…

Glasner and Megrelishvili proved that every continuous action of a topological group $G$ on a dendrite $X$ is tame. We produce two examples of an action on a dendrite which is not $\mathrm{tame}_1$, answering a question they raised. We then…