Cardinal characteristics and projective wellorders

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 < a = s, b < g.

• Type: Journal
• Year: 2010
• Where: APAL
• Authors: Vera Fischer, Sy-David Friedman
• Keywords: -proper Posets, APAL 2010, Countable Support Iterations, Definable Wellorder