No CrossRef data available.
Article contents
Universally Baire sets and definable well-orderings of the reals
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2003