VLDB 2026 Research / reviewers in the wild / expert
Will Brian
dblp:146/9590
· DBLP profile ↗
3ranked-venue papers
3as first author
2since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Partitioning the Real Line into Borel SetsabstractAbstract For which infinite cardinals $\kappa $ is there a partition of the real line ${\mathbb R}$ into precisely $\kappa $ Borel sets? Work of Lusin, Souslin, and Hausdorff shows that ${\mathbb R}$ can be partitioned into $\aleph _1$ Borel sets. But other than this, we show that the spectrum of possible sizes of partitions of ${\mathbb R}$ into Borel sets can be fairly arbitrary. For example, given any $A \subseteq \omega $ with $0,1 \in A$ , there is a forcing extension in which ${A = \{ n :\, \text {there is a partition of } {{\mathbb R}} \text { into }\aleph _n\text { Borel sets}\}}$ . We also look at the corresponding question for partitions of ${\mathbb R}$ into closed sets. We show that, like with partitions into Borel sets, the set of all uncountable $\kappa $ such that there is a partition of ${\mathbb R}$ into precisely $\kappa $ closed sets can be fairly arbitrary. Will Brian |
J. Symb. Log. | 1 |
| 2022 | Small cardinals and small Efimov spaces
Will Brian, Alan Dow |
Ann. Pure Appl. Log. | 1 |
| 2018 | Abstract ω-Limit SetsabstractAbstract The shift map σ on ω* is the continuous self-map of ω* induced by the function n ↦ n + 1 on ω. Given a compact Hausdorff space X and a continuous function f : X → X, we say that (X, f) is a quotient of (ω*, σ) whenever there is a continuous surjection Q : ω*→ X such that Q ○ σ = σ ○ f. Our main theorem states that if the weight of X is at most ℵ1, then (X, f) is a quotient of (ω*, σ), if and only if f is weakly incompressible (which means that no nontrivial open U ⊆ X has $f\left( {\bar{U}} \right) \subseteq U$ ). Under CH, this gives a complete characterization of the quotients of (ω*, σ) and implies, for example, that (ω*, σ−1) is a quotient of (ω*, σ). In the language of topological dynamics, our theorem states that a dynamical system of weight ℵ1 is an abstract ω-limit set if and only if it is weakly incompressible. We complement these results by proving (1) our main theorem remains true when ℵ1 is replaced by any κ < p, (2) consistently, the theorem becomes false if we replace ℵ1 by ℵ2, and (3) OCA + MA implies that (ω*, σ−1) is not a quotient of (ω*, σ). Will Brian |
J. Symb. Log. | 1 |