Abstract
Řada 4 přednášek, která podrobně zkoumá článek I. Neemana o forcingu s dvěma typy postranních podmínek: od základních definic a lemmat pokračuje k důkazu, že tento forcing forcuje stromovou vlastnost a také PFA.
Použitá technika je užitečná, protože pracuje s pojmem "strongly proper forcingu", který je zesílením obvyklého pojmu "proper forcingu".