Grigor Sargsyan (UC Berkeley): The core model induction beyond L(R)

Freitag, 29.05.2009 16:15 im Raum SR 8
Mathematik und Informatik

Core model induction is a technique for evaluating lower bounds of consistency strengths of set theoretic hypothesis. It was invented by Woodin and has been very successful. The speaker will outline how it works and will explain a recent application of it, namely that the existence of omega_1 dense ideal on omega_1 with CH and an extra assumption that the generic embedding restricted to ordinals is independent of the generic object is equiconsistent with AD_R+Theta is regular. The backwards direction is due to Woodin and the forward direction is due to the speaker.

Angelegt am Dienstag, 05.05.2009 09:11 von pfeifer
Geändert am Mittwoch, 27.05.2009 17:01 von pfeifer
[Edit | Vorlage]

Kolloquuium des Instituts für mathematische Logik