2005 seminar talk: A construction for non wellfounded forcing iterations
Talk held by Jakob Kellner (TU Wien) at the KGRC seminar on 2005-06-07.
Abstract
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 Saccharinity)