It is shown to be consistent that every function of first Baire class can be decomposed into ${\aleph }_1$ continuous functions yet the least cardinal of a dominating family in ${}^{\omega }\omega$ is ${\aleph }_2$. The model used in the one obtained by adding ${\omega }_2$ Miller reals to a model of the Continuum Hypothesis.

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_{\sigma }$ set under that function is again $F_{\sigma }$. Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers theorem...

We characterize the class of definable families of countable sets for which there is a single countable definable set intersecting every element of the family.

We prove the following descriptive set-theoretic analogue of a theorem of R. O. Davies: Every Σ¹₂ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ¹₂ functions if and only if all reals are constructible.

We show that if ℱ is a hereditary family of subsets of ${\omega }^{\omega }$ satisfying certain definable conditions, then the ${\Delta }_1^1$ reals are precisely the reals α such that $\beta :\alpha \in {\Delta }_1^1\left(\beta \right)\notin \in ℱ$. This generalizes the results for measure and category. Appropriate generalization to the higher levels of the projective hierarchy is obtained under Projective Determinacy. Application of this result to the $Q_{2n+1}$-encodable reals is also shown.

We prove that density preserving homeomorphisms form a Π11-complete subset in the Polish space ℍ of all increasing autohomeomorphisms of unit interval.

We study the descriptive set theoretical complexity of various randomness notions.

Let $$𝒦$$ (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that $$\{K\in 𝒦\left(ℝ\right):{\forall }_x\in K(d^{+}(x,K)=1or{d}^{-}(x,K)=1)\}$$ is ⊓11-complete. In this paper we define an abstract density operator ⅅ± and we generalize the above result. Some applications are included.

We prove a game-theoretic dichotomy for $G_{\delta \sigma }$ sets of block sequences in vector spaces that extends, on the one hand, the block Ramsey theorem of W. T. Gowers proved for analytic sets of block sequences and, on the other hand, M. Davis’ proof of Σ⁰₃ determinacy.

There is a general conjecture, the dichotomy (C) about Borel equivalence relations E: (i) E is Borel reducible to the equivalence relation $E_G^X$ where X is a Polish space, and a Polish group acting continuously on X; or (ii) a canonical relation $E_1$ is Borel reducible to E. (C) is only proved for special cases as in [So].  In this paper we make a contribution to the study of (C): a stronger conjecture is true for hereditary subspaces of the Polish space ${ℝ}^{\omega }$ of real sequences, i.e., subspaces such that $[y={\left(y_n\right)}_n\in X$...

We investigate some problems of the following type: For which sets H is it true that if f is in a given class ℱ of periodic functions and the difference functions ${\Delta }_{h}f\left(x\right)=f(x+h)-f\left(x\right)$ are in a given smaller class G for every h ∈ H then f itself must be in G? Denoting the class of counter-example sets by ℌ(ℱ,G), that is, $ℌ(ℱ,G)=H\subset ℝ/\mathbb{Z}:\left(\exists f\in ℱG\right)\left(\forall h\in H\right){\Delta }_{h}f\in G$, we try to characterize ℌ(ℱ,G) for some interesting classes of functions ℱ ⊃ G. We study classes of measurable functions on the circle group $𝕋=ℝ/\mathbb{Z}$ that are invariant for changes on null-sets (e.g. measurable...

Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.