Some applications of mixed support iterations

AbstractWe give some applications of mixed support forcing iterations to the topics of disjoint stationary sequences and internally approachable sets. In the first half of the paper we study the combinatorial content of the idea of a disjoint stationary sequence, including its relation to adding clubs by forcing, the approachability ideal, canonical structure, the proper forcing axiom, and properties related to internal approachability. In the second half of the paper we present some consistency results related to these ideas. We construct a model in which a disjoint stationary sequence exists at the successor of an arbitrary regular uncountable cardinal. We also construct models in which the properties of being internally stationary, internally club, and internally approachable are distinct