Universally Baire sets and definable well-orderings of the reals
AbstractLet n ≥ 3 be an integer. We show that it is consistent (relative to the consistency of n − 2 strong cardinals) that every Σ1n-set of reals is universally Baire yet there is a (lightface) projective well-ordering of the reals. The proof uses “David's trick” in the presence of inner models with strong cardinals.
2002 ◽
Vol 116
(1-3)
◽
pp. 67-155
◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 45
(1)
◽
pp. 53-61
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):