Reasonably complete forcing notions

by Roslanowski and Shelah. [RoSh:860]
Quaderni di Matematica, 2006
We introduce more properties of forcing notions which imply that their lambda --support iterations are lambda --proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of Ros{l}anowski and Shelah [RoSh:777, section A.2]. As an application of our iteration result we show that it is consistent that dominating numbers associated with two normal filters on lambda are distinct.


Back to the list of publications