Strong-Q-sequences and small

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.