We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.

Say that an incomplete d.r.e. degree has almost universal cupping property, if it cups all the r.e. degrees not below it to 0′. In this paper, we construct such a degree d, with all the r.e. degrees not cupping d to 0′ bounded by some r.e. degree strictly below d. The construction itself is an interesting 0″′ argument and this new structural property can be used to study final segments of various degree structures in the Ershov hierarchy.

We present Woodin's proof that if there exists a measurable Woodin cardinal δ then there is a forcing extension satisfying all sentences ϕ such that CH + ϕ holds in a forcing extension of V by a partial order in Vδ. We also use some of the techniques from this proof to show that if there exists a stationary limit of stationary limits of Woodin cardinals, then in a homogeneous forcing extension there is an elementary embedding j: V → M with critical point such that M is countably closed in the forcing extension.

This is the third and last part of an investigation in several topics of first order model theory of modules which I began in Some model theory of modules. I. On total transcendence of modules (this Journal, vol. 48 (1983), pp. 570–574) and continued in Some model theory of modules. II. On stability and categoricity of flat modules (this Journal, vol. 48 (1983), pp. 970–985). Throughout I refer to these papers as “Part I” and “Part II”.

Although these parts are only loosely connected, I will tacitly use the notation and preliminaries already introduced in the preceding ones. Further details are given in §0. Concerning Part II, the reader is assumed to be familiar with most of §1, a very small part of §4, and the criterion for elementary equivalence of modules over regular rings given in §3 (Lemma 20) of that part.

Using those tools in this paper I consider completeness of the (elementary) theory of all modules (and of some of its extensions) (§2), and eliminability of cardinality quantifiers in the elementary theories of modules (§3).

§2 is almost entirely devoted to a new short proof based on the technique developed in Part II of a theorem of Tukavkin which seems to be the first relevant result concerning the completeness of the theory of all modules (after the simple observation that any theory of infinite vector spaces is complete).

The problem of coding relations by means of a single binary relation is well known in the mathematical literature. It was considered in interpretation theory, and also in connection with investigations of decidability of elementary theories. Using various constructions (see, e.g., [2,6], proofs of Theorem 11 in [7] and Theorem 16.51 in [3]), for any model for a countable language, one can construct a model for ℒp (a language with a single binary relation symbol ) in which is interpretable. Each of the mentioned constructions has the same weak point: the universe of is different than the universe of . In [4] we have shown that, in the infinite case, one can eliminate this defect, i.e., for any infinite , we have constructed a model , having the same universe as , in which is elementarily definable. In all constructions mentioned above, it appears that formulas, which define in ( in ), are very complicated. In the present paper, another construction of a model for ℒp is given.

We construct a non-discrete Polish group none of whose non-discrete subgroups admits a complete left-invariant metric.

Several results in the theory of recursion in higher types indicate that the effect of a higher type functional on the lower types does not reflect the high type, i.e. the same effect could be obtained by functionals of relatively low type. The two main results here are:

Plus -1 - Theorem (G. Sacks [6] for k = 1, [7] for k > 1). Let H be a normal functional of type ≥ k + 1. Then there exists a normal functional F of type k + 1 such that k-sc(F) = k-sc(H), i.e. the same subsets of tp(k − 1) are recursive in F and H.

Plus - 2 - Theorem (L. Harrington [1]). Let H be a normal functional of type ≥ k + 2. Then there exists a normal functional F of type k +2 such that k-en(H) = k-en(F), i.e. the same subsets of tp(k − 1) are semirecursive in F and H.

The results in this paper also indicate that higher types cannot have too much influence on lower types. The key is the Skolem-Löwenheim theorem. Among the results we mention:

(1) Let n < m. A ⊆ tp(n) × tp(m) be Kleene-semicomputable. Let x ∈ B ⇔ ∀y∈tp(m), ⟨x, y⟩ ∈ A. Then B is . This result may be relativized to a functional of type n + 1.

(2) Let k0 be the type-k-functional that is constant zero. Let F be a functional of type < k. Then, for i ≤ k −2, i-sc(F ,k0) = i-sc(F), i-en(F, k0) = ∀tp(i)(i-en(F)).