Using countable support iteration of S-proper posets, we show that the existence of a \(\Delta^1_3\) definable wellorder of the reals is consistent with each of the following: d < c, b < a = s, b < g.
This is a joint work with Sy Friedman.
Cardinal characteristics and projective wellorders
29.10.2009 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25