Related papers: A dichotomy for Borel functions

We study the Baire class one countable colorings, i.e., the countable partitions into $F_\sigma$ sets. Such a partition gives a covering of the diagonal into countably many $F_\sigma$ squares. This leads to the study of countable unions of…

We define a Polish topology inspired from the Gandy-Harrington topology and show how it can be used to prove Silver's dichotomy theorem while remaining in the Polish realm. In this topology, a $\Pi^1_1$ equivalence relation decomposes into…

We present a streamlined account of a recent theorem on the classification of the $L$-functions of degree 2 and conductor 1 from the extended Selberg class. We also present a more general new result dealing with functional equations…

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…

In this paper, we introduce and investigate a class P of continuous and periodic functions on R. The class P is defined so that second-order central differences of a function satisfy some concavity-type estimate. Although this definition…

Imposing some conditions on derivatives of the known functions, using the Fiber Contraction Theorem we prove the existence of $C^1$ solutions of a class of iterative functional equations which involves iterates of the unknown functions and…

The following will be shown: Let $I$ be a $\sigma$-ideal on a Polish space $X$ with the property that the associated forcing of $I^+$ Borel subsets ordered by $\subseteq$ is a proper forcing. Let E be an analytic or coanalytic equivalence…

We show that, on any given finite Borel measure space with the ambient space being a Polish metric space, every Borel real-valued function is almost a bounded, uniformly continuous function in the sense that for every $\varepsilon > 0$…

This paper studies the connections between the zeros and their distribution functions for two particular Dirichlet $L$ functions: the Riemann zeta function, and the Catalan beta function, also known as the Dirichlet beta function. It is…

We prove that every abelian permutation group, but known exceptions, is the symmetry group of a boolean function. This solves the problem posed in the book by Clote and Kranakis. In fact, our result is proved for a larger class of groups,…

In this paper we first consider hyperfinite Borel equivalence relations with a pair of Borel $\mathbb{Z}$-orderings. We define a notion of compatibility between such pairs, and prove a dichotomy theorem which characterizes exactly when a…

The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the…

Suppose $G\curvearrowright X$ is a Polish group action, $H$ is a Polish group and $G\times X\overset{\psi}\longrightarrow H$ is a cocycle that is continuous in the second variable. If $\psi$ is either Baire measurable or is $\lambda\times…

We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of…

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…

We define a $\sigma$-centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation…

In the paper a theorem of Piccard's type is proved and, consequently, the continuity of $\mathcal{D}$-measurable polynomial functions of $n$-th order as well as $\mathcal{D}$-measurable $n$-convex functions is shown. The paper refers to the…

A theorem of Lusin states that every Borel function on $R$ is equal almost everywhere to the derivative of a continuous function. This result was later generalized to $R^n$ in works of Alberti and Moonens-Pfeffer. In this note, we prove…

We investigate the descriptive set-theoretic complexity of the solvability of a Borel family of linear equations over a finite field. Answering a question of Thornton, we show that this problem is already hard, namely $\Sigma^1_2$-complete.…

In this article, by comparing the characteristic functions, we prove that for any $\nu$-valued algebroid function $w(z)$ defined in the unit disk with $\limsup_{r\to1-}T(r,w)/\log\frac{1}{1-r}=\infty$ and the hyper order $\rho_2(w)=0$, the…