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...

We investigate the structure of the Tukey ordering among directed orders arising naturally in topology and measure theory.

This note is devoted to combinatorial properties of ideals on the set of natural numbers. By a result of Mathias, two such properties, selectivity and density, in the case of definable ideals, exclude each other. The purpose of this note is to measure the ``distance'' between them with the help of ultrafilter topologies of Louveau.

Among other results we prove that the topological statement “Any compact covering mapping between two Π⁰₃ spaces is inductively perfect” is equivalent to the set-theoretical statement "$\forall \alpha \in {\omega }^{\omega },\omega {₁}^{L\left(\alpha \right)}<\omega ₁$"; and that the statement “Any compact covering mapping between two coanalytic spaces is inductively perfect” is equivalent to “Analytic Determinacy”. We also prove that these statements are connected to some regularity properties of coanalytic cofinal sets in (X), the hyperspace of all compact subsets of a Borel...

We study homeomorphism groups of metrizable compactifications of ℕ. All of those groups can be represented as almost zero-dimensional Polishable subgroups of the group $S_{\infty }$. As a corollary, we show that all Polish groups are continuous homomorphic images of almost zero-dimensional Polishable subgroups of $S_{\infty }$. We prove a sufficient condition for these groups to be one-dimensional and also study their descriptive complexity. In the last section we associate with every Polishable ideal on ℕ a certain Polishable...