TY - JOUR
T1 - On a problem of Erdös, Hajnal and Rado
AU - Prikry, Karel
PY - 1972/3
Y1 - 1972/3
N2 - Erdös, Hajnal and Rado asked whether N2 N1 → N0 N0 N1 N1. We show that N2 N1 {not right arrow} N0 N0 N1 N1 is consistent with ZF + GCH. The above symbol means that there exists a coloring of pairs (αβ), α ∈ ω2, β ∈ ω1, by two colors such that each A × B, where A ⊆ ω2, B ⊆ ω1, |A| = א0. |B| = א1, has a pair of each color. N2 N1 {not right arrow} N0 N0 N1 N1 is implied by the following statement (*): There are sets Aαη ⊆ ω1, α ∈ ω2, η ∈ ω1, such that (∀α, η, ξ) (η ≠ ξ → Aαη ∩ Aαξ - 0), (∀α) ∪ {Aαη: η ∈ ω1} = ω1, and for every sequence of distinct αn ∈ ω2 and every sequence of (not necessarily distinct) ηn ∈ ω1, |ω1 - ∪ {Aαnηn : η ∈ ω} | ≤ א0. Another consequence of (*) is. For every א1 nonprincipal countably additive ideals lρ ⊆ P(ω1), ρ ∈ ω1, there is a set X ⊆ ω1 such that for all ρ ∈ ω1 neither X nor ω1 - X ∈ lρ. This shows the independence of a problem of Ulam.
AB - Erdös, Hajnal and Rado asked whether N2 N1 → N0 N0 N1 N1. We show that N2 N1 {not right arrow} N0 N0 N1 N1 is consistent with ZF + GCH. The above symbol means that there exists a coloring of pairs (αβ), α ∈ ω2, β ∈ ω1, by two colors such that each A × B, where A ⊆ ω2, B ⊆ ω1, |A| = א0. |B| = א1, has a pair of each color. N2 N1 {not right arrow} N0 N0 N1 N1 is implied by the following statement (*): There are sets Aαη ⊆ ω1, α ∈ ω2, η ∈ ω1, such that (∀α, η, ξ) (η ≠ ξ → Aαη ∩ Aαξ - 0), (∀α) ∪ {Aαη: η ∈ ω1} = ω1, and for every sequence of distinct αn ∈ ω2 and every sequence of (not necessarily distinct) ηn ∈ ω1, |ω1 - ∪ {Aαnηn : η ∈ ω} | ≤ א0. Another consequence of (*) is. For every א1 nonprincipal countably additive ideals lρ ⊆ P(ω1), ρ ∈ ω1, there is a set X ⊆ ω1 such that for all ρ ∈ ω1 neither X nor ω1 - X ∈ lρ. This shows the independence of a problem of Ulam.
UR - http://www.scopus.com/inward/record.url?scp=0007436094&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0007436094&partnerID=8YFLogxK
U2 - 10.1016/0012-365X(72)90060-X
DO - 10.1016/0012-365X(72)90060-X
M3 - Article
AN - SCOPUS:0007436094
SN - 0012-365X
VL - 2
SP - 51
EP - 59
JO - Discrete Mathematics
JF - Discrete Mathematics
IS - 1
ER -