 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