Models with second order properties. IV. A general method and eliminating diamonds (Q762058)

This article is a continuation of the author's previous papers under the same title [for part III see Arch. Math. Logik Grundlagenforsch. 21, 1-11 (1981; Zbl 0502.03016)] and contains some generalizations of the results presented there. The author has invented a general method of building models of first order theories having some special second order properties. The model of power \(\lambda^+\) is built up by an increasing chain of models of power \(\lambda\) using forcing technique. For this construction the author uses the set-theoretic assertion \((D1)_{\lambda}\) which follows e.g. from the \(\diamond_{\lambda}\) condition. The results are applied to the construction of rigid atomic Boolean algebras, trees and ordered fields. One of the resulting theorems says that (under a suitable set-theoretic assumption) there exists a rigid real-closed field being not a subfield of the reals, which gives the solution to the problem of Saltzman.