Related papers: Turing degrees in Polish spaces and decomposabilit…

We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.

Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_\sigma$ set under it is…

Martin's Conjecture is a proposed classification of the definable functions on the Turing degrees. It is usually divided into two parts, the first of which classifies functions which are not above the identity and the second of which…

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…

There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martin's conjecture on Turing invariant functions. This longstanding open problem…

We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…

We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show…

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

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$…

We study Polish spaces for which a set of possible distances $A \subseteq \mathbb{R}^+$ is fixed in advance. We determine, depending on the properties of $A$, the complexity of the collection of all Polish metric spaces with distances in…

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…

We give, for some Borel sets of a product of two Polish spaces, including the Borel sets with countable sections, a Hurewicz-like characterization of those which cannot become a transfinite difference of open sets by changing the two Polish…

We demonstrate that a reproducing kernel Hilbert or Banach space of functions on a separable absolute Borel space or an analytic subset of a Polish space is separable if it possesses a Borel measurable feature map.

Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending…

We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets.

A weighted sums of squares decomposition of positive Borel measurable functions on a bounded Borel subset of the Euclidean space is obtained via duality from the spectral theorem for tuples of commuting self-adjoint operators. The analogous…

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If…

We analyze the reducibilities induced by, respectively, uniformly continuous, Lipschitz, and nonexpansive functions on arbitrary ultrametric Polish spaces, and determine whether under suitable set-theoretical assumptions the induced…

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…