Coherent Adequate Sets and Forcing Square
  We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on $\omega_2$ using finite conditions. 
John Krueger
math.LO