Strong-Q-sequences and small d

We present a method for obtaining a model of “ZFC+d=ω1 + there exists a strong-Q-sequence (called also uniformizable AD-system) of size ω1”. We are interested in such models since conjunction of these statements needs to hold in any model where P(ω)/fin≅P(ω1)/fin is possibly true.