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)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.