Just refreshing my understanding of measurable cardinals, the first step (more questions may follow, but one step at a time) is to make sure I understand the conditions: one of them is(adsbygoogle = window.adsbygoogle || []).push({});

For a (an uncountable) measurable cardinal κ, there exists a non-trivial, 0-1-valued measure μ on P(κ) such that there exists an λ<κ such that for any sequence [A_{α}: α<λ ] of disjoint sets A_{α}whose elements are smaller-than-κ ordinals, μ([itex]\cup[/itex]{ A_{α}}) = ∑μ(A_{α})

Would not this mean that there would be a β<λ such that μ(A_{β}) = 1 and [itex]\forall[/itex]γ<λ, (γ≠ β [itex]\Rightarrow[/itex] μ(A_{β}) = 0)?

If not, why not?

P.S. except of course for those sequences for which for all α in the set of indices of the sequence, μ(A_{α})=0

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Elementary point about measurable cards

**Physics Forums | Science Articles, Homework Help, Discussion**