APAL
2010
13 years 5 months ago
2010
Using countable support iterations of S -proper posets, we show that the existence of a 1 3 definable wellorder of the reals is consistent with each of the following: d < c, b ...