Some remarks on set theory. III (Q2651888)

[Teil I, Ann. of Math., II. Ser. 44, 643-646 (1943; Zbl 0060.13112); Teil II s. Zbl 0039.04902] 1. Jedem \(x\in Z\) (\(Z\) die Zahlengerade) sei eine Menge \(S(x) \subseteq Z\) zugeordnet mit \(x\not\in S(x)\). \(x\) und \(y\) heißen unabhängig, wenn \(x\not\in S(y)\) und \(y\not\in S(x)\) ist; eine Menge \(E\subseteq Z\) heißt unabhängig, wenn je zwei Zahlen aus \(E\) unabhängig sind. Es sind Bedingungen für die \(S(x)\) bekannt, aus denen die Existenz unabhängiger Mengen folgt (vgl. \textit{G.Grünwald}, Zbl 0017.00702; \textit{D.Lazar}, Compositio Math. 3, 304 (1936; Zbl 0014.39601); \textit{G.Fodor}, Zbl 0041.02201, Zbl 0042.05301). Der Verf. untersucht weitere Voraussetzungen über die \(S(x)\) daraufhin, ob aus ihnen die Existenz unabhängiger Mengen folgt. 2. Es existieren zwei Mengen \(A_i \subseteq Z\) \((i=1,2)\) mit \(A_1 \cup A_2=Z\) derart, daß für jedes \(i\) gilt: für jedes reelle \(z\) hat die Gleichung \(x+y=z\) (\(x,y\) in \(A_i\)) weniger als \(c\) Lösungen (\(c\) die Mächtigkeit des Kontinuums). Ist 1. \(A_1 \cup A_2 = Z\), 2. die Mächtigkeit von \(A_1\) und \(A_2\) gleich \(c\), 3. \(m\) eine Mächtigkeit \(<c\) und hat 5. für jedes reelle \(z\) die Gleichung \(x+y = z\) weniger als \(m\) Lösungen \(x\) und \(y\) in \(A_2\), so hat für gewisse \(z\) diese Gleichung \(c\) Lösungen \(x\) und \(y\) in \(A_1\).