Let 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.
Publié le : 2003-12-14
Classification:
Descriptive set theory,
large cardinals,
inner models,
03E35,
03E45,
03E55
@article{1067620173,
author = {Friedman, Sy D. and Schindler, Ralf},
title = {Universally Baire sets and definable well-orderings of the reals},
journal = {J. Symbolic Logic},
volume = {68},
number = {1},
year = {2003},
pages = { 1065-1081},
language = {en},
url = {http://dml.mathdoc.fr/item/1067620173}
}
Friedman, Sy D.; Schindler, Ralf. Universally Baire sets and definable well-orderings of the reals. J. Symbolic Logic, Tome 68 (2003) no. 1, pp. 1065-1081. http://gdmltest.u-ga.fr/item/1067620173/