Speaker:
Professor Joan Bagaria
Institution:
ICREA, Barcelona, Spain
Time:
Monday, November 13, 2006 - 4:00pm
Location:
MSTB 256
We present some exact equiconsistency results on the preservation
of the property of L(R) being a Solovay model under various classes of
projective forcing extensions. As an application we build models in which MA
holds for $\Sigma^1_n$ partial orderings, but it fails for the
$\Sigma^1_{n+1}$.