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 cardinal μ we give a sufficient condition ${\oplus }_{\mu }$ (involving ranks measuring existence of independent sets) for: ${\otimes }_{\mu }$ if a Borel set B ⊆ ℝ × ℝ contains a μ-square (i.e. a set of the form A × A with |A| =μ) then it contains a $2^{{\aleph }_0}$-square and even a perfect square, and also for ${\otimes }_{\mu }^{\text{'}}$ if $\psi \in L_{{\omega }_1,\omega }$ has a model of cardinality μ then it has a model of cardinality continuum generated in a “nice”, “absolute” way. Assuming $MA+2^{{\aleph }_0}>\mu$ for transparency, those three conditions (${\oplus }_{\mu }$, ${\otimes }_{\mu }$ and ${\otimes }_{\mu }^{\text{'}}$) are equivalent, and from this we deduce that...

We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion of van Douwen's diagram. For instance, although the usual proof of the inequality 𝔭 ≤ 𝔟 does not provide a Borel Tukey map, we show that in fact there is one. Afterwards, we revisit a result of Mildenberger concerning a generalization of the unsplitting and splitting...

Two sets of reals are Borel equivalent if one is the Borel pre-image of the other, and a Borel-Wadge degree is a collection of pairwise Borel equivalent subsets of ℝ. In this note we investigate the structure of Borel-Wadge degrees under the assumption of the Axiom of Determinacy.

A hull of A ⊆ [0,1] is a set H containing A such that λ*(H) = λ*(A). We investigate all four versions of the following problem. Does there exist a monotone (with respect to inclusion) map that assigns a Borel/$G_{\delta }$ hull to every negligible/measurable subset of [0,1]? Three versions turn out to be independent of ZFC, while in the fourth case we only prove that the nonexistence of a monotone $G_{\delta }$ hull operation for all measurable sets is consistent. It remains open whether existence here is also consistent....

We calculate the cardinal characteristics of the $\sigma$-ideal $\mathscr{H}𝒩\left(G\right)$ of Haar null subsets of a Polish non-locally compact group $G$ with invariant metric and show that $cov\left(\mathscr{H}𝒩\right(G\left)\right)\le 𝔟\le max\{𝔡,non(𝒩\left)\right\}\le non\left(\mathscr{H}𝒩\right(G\left)\right)\le cof\left(\mathscr{H}𝒩\right(G\left)\right)>min\{𝔡,non(𝒩\left)\right\}$. If $G={\prod }_{n\ge 0}{G}_n$ is the product of abelian locally compact groups $G_n$, then $add\left(\mathscr{H}𝒩\right(G\left)\right)=add\left(𝒩\right)$, $cov\left(\mathscr{H}𝒩\right(G\left)\right)=min\{𝔟,cov(𝒩\left)\right\}$, $non\left(\mathscr{H}𝒩\right(G\left)\right)=max\{𝔡,non(𝒩\left)\right\}$ and $cof\left(\mathscr{H}𝒩\right(G\left)\right)\ge cof\left(𝒩\right)$, where $𝒩$ is the ideal of Lebesgue null subsets on the real line. Martin Axiom implies that $cof\left(\mathscr{H}𝒩\left(G\right)\right)>2^{{\aleph }_0}$ and hence $G$ contains a Haar null subset that cannot be enlarged to a Borel or projective Haar null subset of $G$. This gives a negative (consistent) answer to a question of...

On cherche à donner une construction aussi simple que possible d'un borélien donné d'un produit de deux espaces polonais. D'où l'introduction de la notion de classe de Wadge potentielle. On étudie notamment ce que signifie "ne pas être potentiellement fermé", en montrant des résultats de type Hurewicz. Ceci nous amène naturellement à des théorèmes d'uniformisation partielle, sur des parties "grosses", au sens du cardinal ou de la catégorie.

A graph G on a topological space X as its set of vertices is clopen if the edge relation of G is a clopen subset of X² without the diagonal. We study clopen graphs on Polish spaces in terms of their finite induced subgraphs and obtain information about their cochromatic numbers. In this context we investigate modular profinite graphs, a class of graphs obtained from finite graphs by taking inverse limits. This continues the investigation of continuous colorings on Polish spaces and their homogeneity...