We characterize Borel line graphs in terms of 10 forbidden induced subgraphs, namely the nine finite graphs from the classical result of Beineke together with a 10th infinite graph associated with the equivalence relation $\mathbb {E}_0$ on the Cantor space. As a corollary, we prove a partial converse to the Feldman–Moore theorem, which allows us to characterize all locally countable Borel line graphs in terms of their Borel chromatic numbers.

We introduce new types of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks [Mar16]. The motivation for the construction comes from the adaptation of this method to the $\mathsf {LOCAL}$ model of distributed computing [BCG+21]. Our approach unifies the previous results in the area, as well as produces new ones. In particular, strengthening the main result of [TV21], we show that for $\Delta>2$, it is impossible to give a simple characterization of acyclic $\Delta $-regular Borel graphs with Borel chromatic number at most $\Delta $: such graphs form a $\mathbf {\Sigma }^1_2$-complete set. This implies a strong failure of Brooks-like theorems in the Borel context.

We propose a reformulation of the ideal $\mathcal {N}$ of Lebesgue measure zero sets of reals modulo an ideal J on $\omega $, which we denote by $\mathcal {N}_J$. In the same way, we reformulate the ideal $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $-ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent to $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ contains non-meager sets when J does not have the Baire property. We also prove a deep connection between these ideals modulo J and the notion of nearly coherence of filters (or ideals).

We also study the cardinal characteristics associated with $\mathcal {N}_J$ and $\mathcal {N}^*_J$. We show their position with respect to Cichoń’s diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm {add}(\mathcal {N})$ and $\mathrm {cof}(\mathcal {N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.

We show that there exist uncountably many (tall and nontall) pairwise nonisomorphic density-like ideals on $\omega $ which are not generalized density ideals. In addition, they are nonpathological. This answers a question posed by Borodulin-Nadzieja et al. in [this Journal, vol. 80 (2015), pp. 1268–1289]. Lastly, we provide sufficient conditions for a density-like ideal to be necessarily a generalized density ideal.

We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies the condition but does not have an invariant Borel probability measure.

We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property and show that the analogous result for digraphs fails.

For every countable wellordering $\alpha $ greater than $\omega $ , it is shown that clopen determinacy for games of length $\alpha $ with moves in $\mathbb {N}$ is equivalent to determinacy for a class of shorter games, but with more complicated payoff. In particular, it is shown that clopen determinacy for games of length $\omega ^2$ is equivalent to $\sigma $ -projective determinacy for games of length $\omega $ and that clopen determinacy for games of length $\omega ^3$ is equivalent to determinacy for games of length $\omega ^2$ in the smallest $\sigma $ -algebra on $\mathbb {R}$ containing all open sets and closed under the real game quantifier.

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function: namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has a zero-length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: in any such coverable set, a typical Lipschitz function is everywhere severely non-differentiable.

We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not $\sigma $ -continuous with closed witnesses.

Mauldin [15] proved that there is an analytic set, which cannot be represented by $B\cup X$ for some Borel set B and a subset X of a $\boldsymbol{\Sigma }^0_2$ -null set, answering a question by Johnson [10]. We reprove Mauldin’s answer by a recursion-theoretical method. We also give a characterization of the Borel generated $\sigma $ -ideals having approximation property under the assumption that every real is constructible, answering Mauldin’s question raised in [15].

We simultaneously generalize Silver’s perfect set theorem for co-analytic equivalence relations and Harrington-Marker-Shelah’s Dilworth-style perfect set theorem for Borel quasi-orders, establish the analogous theorem at the next definable cardinal, and give further generalizations under weaker definability conditions.

We study the behavior of the game operator $$ on Wadge classes of Borel sets. In particular we prove that the classical Moschovakis results still hold in this setting. We also characterize Wadge classes ${\bf{\Gamma }}$ for which the class has the substitution property. An effective variation of these results shows that for all $1 \le \eta < \omega _1^{{\rm{CK}}}$ and $2 \le \xi < \omega _1^{{\rm{CK}}}$, is a Spector class while is not.

We show that a natural generalization of compressibility is the sole obstruction to the existence of a cocycle-invariant Borel probability measure.

Given a compact Polish space E and the hyperspace of its compact subsets ${\cal K}\left( E \right)$, we consider Gδσ-ideals of compact subsets of E. Solecki has shown that any σ-ideal in a broad natural class of Gδ ideals can be represented via a compact subset of ${\cal K}\left( E \right)$; in this article we examine the behaviour of Gδ subsets of E with respect to the representing set. Given an ideal I in this class, we construct a representing set that recognises a compact subset of E as being “small” precisely when it is in I, and recognises a Gδ subset of E as being “small” precisely when it is covered by countably many compact sets from I.

We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields the existence of Borel matchings for such graphs of degree at least three. As a corollary, it follows that acyclic locally countable Borel graphs of degree at least three generating μ-hyperfinite equivalence relations admit μ-measurable matchings. We establish the analogous result for Baire measurable matchings in the locally finite case, and provide a counterexample in the locally countable case.

We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes ${\cal D}_2 \left( {{\bf{\Pi }}_3^0 } \right)$ and ${\cal D}_\omega \left( {{\bf{\Pi }}_3^0 } \right)$, that is, the class of sets which are 2-differences (respectively, ω-differences) of ${\bf{\Pi }}_3^0 $ sets.

Given a metric space (X , d), equipped with a locally finite Borel measure, a measurable set $A \subseteq X$ is a density set if the points where A has density 1 are exactly the points of A. We study the topological complexity of the density sets of the real line with Lebesgue measure, with the tools—and from the point of view—of descriptive set theory. In this context a density set is always in $\Pi _3^0$. We single out a family of true $\Pi _3^0$ density sets, an example of true $\Sigma _2^0$ density set and finally one of true $\Pi _2^0$ density set.

We demonstrate that many properties of topological spaces connected with the notion of resolvability are preserved by the relation of similarity between topologies. Moreover, many of them can be characterised by the properties of the algebra of sets with nowhere dense boundary and the ideal of nowhere dense sets. We use these results to investigate whether a given pair of an algebra and an ideal is topological.

Let (E, ℱ) be a weakly compactly generated Frechet space and let ℱ0 be another weaker Hausdorff locally convex topology on E. Let X be an ℱ-bounded compact subset of (E, ℱ0). The ℱ0-closed convex hull of X in E is then ℱ0-compact. We also give a new proof, without using Riemann–Lebesgue-integrable (Birkoff-integrable) functions, with the result that if (E, ∥ · ∥) is any Banach space and ℱ0 is fragmented by ∥ · ∥, then the same result holds. Furthermore, the closure of the convex hull of X in ℱ0-topology and in the original topology of E is the same.

The paper deals with the following problem: characterize Tichonov spaces X whose realcompactification υX is a Lindelöf Σ-space. There are many situations (both in topology and functional analysis) where Lindelöf Σ (even K-analytic) spaces υX appear. For example, if E is a locally convex space in the class 𝔊 in sense of Cascales and Orihuela (𝔊 includes among others (LM ) -spaces and (DF ) -spaces), then υ(E′,σ(E′,E)) is K-analytic and E is web-bounded. This provides a general fact (due to Cascales–Kakol–Saxon): if E∈𝔊, then σ(E′,E) is K-analytic if and only if σ(E′,E) is Lindelöf. We prove a corresponding result for spaces Cp (X) of continuous real-valued maps on X endowed with the pointwise topology: υX is a Lindelöf Σ-space if and only if X is strongly web-bounding if and only if Cp (X) is web-bounded. Hence the weak* dual of Cp (X) is a Lindelöf Σ-space if and only if Cp (X) is web-bounded and has countable tightness. Applications are provided. For example, every E∈𝔊 is covered by a family {Aα :α∈Ω} of bounded sets for some nonempty set Ω⊂ℕℕ.