The property of Baire is a classical way of measuring how "regular" or "tame" a set of real numbers is. A set has this property if it differs from an open set only by a small, negligible collection of points. Universally Baire sets extend this idea: a set is universally Baire if, no matter how you continuously map another space into the one containing your set, the pulled-back version of the set still has the property of Baire. This concept appears frequently in modern set theory, but different authors use slightly different definitions depending on which spaces are allowed as the source of those continuous maps. The paper investigates whether these varying definitions actually agree with one another.
The authors find that four natural choices for the class of allowed source spaces, namely all Polish spaces, compact metrizable spaces, all topological spaces, and all compact topological spaces, turn out to be genuinely different notions when you assume the Continuum Hypothesis. They carefully map out exactly which of these four notions implies which others in ordinary set theory without extra assumptions, and they show that every definition of universal Baireness appearing in the literature reduces to one of these four. They also demonstrate that the version using Polish domains is the natural counterpart to a well-known concept called universal measurability, giving the Polish-domain version a conceptual justification as the right default choice.
On the consistency side, the authors use a technique called Miller forcing to show that the Polish and compact metrizable versions of the definition can be made equivalent in a universe of set theory where the Continuum Hypothesis fails. As a separate but related result, they prove that a natural-sounding reflection principle is independent of the standard axioms of set theory: specifically, whether a set that behaves tamely relative to every nowhere dense Cantor-like subspace must behave tamely in the whole space cannot be decided one way or the other from the usual axioms alone.