In the mathematical field of descriptive set theory, a set of real numbers (or more generally a subset of the Baire space or Cantor space) is called universally Baire if it has a certain strong regularity property.
Universally Baire sets play an important role in Ω-logic, a very strong logical system invented by W. Hugh Woodin and the centerpiece of his argument against the continuum hypothesis of Georg Cantor.
A subset A of the Baire space is universally Baire if it has the following equivalent properties:
This set theory-related article is a stub.
You can help Wikipedia by expanding it.