We prove the following theorem: Given a⊆ω and $1\le \alpha <{\omega }_1^{CK}$, if for some $\eta <{\aleph }_1$ and all u ∈ WO of length η, a is ${\Sigma }_{\alpha }^0\left(u\right)$, then a is ${\Sigma }_{\alpha }^0$.We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: ${\Sigma }_1^1$-Turing-determinacy implies the existence of $0^{}$.

We prove that a Borel equivalence relation is classifiable by countable structures if and only if it is Borel reducible to a countable level of the hereditarily countable sets. We also prove the following result which was originally claimed in [FS89]: the zero density ideal of sets of natural numbers is not classifiable by countable structures.

We construct, for each countable ordinal ξ, a closed graph with Borel chromatic number 2 and Baire class ξ chromatic number ℵ₀.

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $\Sigma {⁰}_{\alpha }$, α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $\Pi {⁰}_{\alpha }$ uniformization which is the graph of a $\Sigma {⁰}_{\alpha }$-measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{\delta }$ sections.

We prove the existence of Carathéodory selections and representations of a closed convex valued, lower Carathéodory multifunction from a set A in $A\left(ℰ\otimes ℬ\right(X\left)\right)$ into a separable Banach space Y, where ℰ is a sub-σ-field of the Borel σ-field ℬ(E) of a Polish space E, X is a Polish space and A is the Suslin operation. As applications we obtain random versions of results on extensions of continuous functions and fixed points of multifunctions. Such results are useful in the study of random differential equations...

For a linear operator T in a Banach space let ${\sigma }_p\left(T\right)$ denote the point spectrum of T, let ${\sigma }_{p,n}\left(T\right)$ for finite n > 0 be the set of all $\lambda \in {\sigma }_p\left(T\right)$ such that dim ker(T - λ) = n and let ${\sigma }_{p,\infty }\left(T\right)$ be the set of all $\lambda \in {\sigma }_p\left(T\right)$ for which ker(T - λ) is infinite-dimensional. It is shown that ${\sigma }_p\left(T\right)$ is ${ℱ}_{\sigma }$, ${\sigma }_{p,\infty }\left(T\right)$ is ${ℱ}_{\sigma \delta }$ and for each finite n the set ${\sigma }_{p,n}\left(T\right)$ is the intersection of an ${ℱ}_{\sigma }$ set and a ${}_{\delta }$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more detailed decomposition...

We prove that every (extended) Borel subset E of X × Y, where X is complete metric and Y is Polish, can be covered by countably many extended Borel sets with compact sections if the sections $E_x=y\in Y:(x,y)\in E$, x ∈ X, are σ-compact. This is a nonseparable version of a theorem of Saint Raymond. As a by-product, we get a proof of Saint Raymond’s result which does not use transfinite induction.

A generalization of the theorem of Bajmóczy and Bárány which in turn is a common generalization of Borsuk's and Radon's theorem is presented. A related conjecture is formulated.

Conditions are given which enable or disable a complex space $X$ to be mapped biholomorphically onto a bounded closed analytic subset of a Banach space. They involve on the one hand the Radon-Nikodym property and on the other hand the completeness of the Caratheodory metric of $X$.