CONTENTS 1. Introduction..................................................................................................................................................... 3 2. The relative consistency of the requirement K in ∑................................................................................ 6 3. Proof of the implication $K ⇒ (E&2^{\mathfrak{N}a = {\mathfrak{N}_{a+i})$..................................... 23 4. Proof of V = L⇐⇒K........................................................................................................................................ 40 References......................................................................................................................................................... 44
[Cont] K. Gödel, The consistency of the axiom of choice and of the generalized continuum hypothesis, Princeton 1940, Annals of Mathematics Studies No. 3.
[Und] A. Mostowski, An undecidable arithmetical statement. Fund. Math. 30 (1949), pp. 143-164.
[Mod] J. C. Shepherdson, Inner models for set theory, I, II, III, Journ. of Symb. Logic 10 (1951), pp. 161-190; 17 (1952), pp. 225-237, 18 (1953), pp. 145-167.