A forcing poset of size 221 which adds no new reals is described and shown to provide a Δ22 definable well-order of the reals . The encoding of this well-order is obtained by playing with products of Aronszajn trees: some products are special while other are Suslin trees. The paper also deals with the Magidor–Malitz logic: it is consistent that this logic is highly noncompact.

We prove the following extension of a result of Keisler and Morley. Suppose U is a countable model of ZFC and c is an uncountable regular cardinal in U. Then there exists an elementary extension of U which fixes all ordinals below c, enlarges c, and either (i) contains or (ii) does not contain a least new ordinal. Related results are discussed.

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)