We shall show that b=c=ω_3 is consistent with the existence of a Δ13 denable wellorder of the reals and a Π12 denable ω-mad subfamily of [ω]ω.
This is joint work with Vera Fischer and Sy-David Friedman.
Projective wellorders and mad families with big continuum
10.06.2010 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25