A construction for non wellfounded forcing iterations

07.06.2005 15:00 - 16:30

J. Kellner (TU Wien)

I will show how to "countable-support-iterate" finitely splitting lim-sup tree forcings along arbitrary total orders. Part of a joint work with S. Shelah called Saccharini

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25