We use iterations of elementary embeddings derived from countably complete ideals
on ω1 to provide a uniform proof of some classical results connecting the number of
models of cardinality ℵ1 in various infinitary logics ...