APAL
2010
14 years 21 days 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 ...