Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.

We prove here theorems of the form: if T has a model M in which P 1 (M) is κ 1 -like ordered, P 2 (M) is κ 2 -like ordered ..., and Q 1 (M) if of power λ 1 , ..., then T has a model N in which P 1 (M) is κ 1 '-like ordered ..., Q 1 (N) is of power λ 1 ,.... (In this article κ is a strong-limit singular cardinal, and κ' is (...) a singular cardinal.) We also sometimes add the condition that M, N omits some types. The results are seemingly the best possible, i.e. according to our knowledge about n-cardinal problems (or, more precisely, a certain variant of them). (shrink)