Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 2E4
Abstract:
There is a well-known global equivalence between sets having the universal Baire property, two-step generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of sets being -cc-universally Baire, which is below . In a model obtained, there is a set which is weakly -universally Baire but not -universally Baire.