Elementary point about measurable cards

Click For Summary
SUMMARY

The discussion centers on the properties of measurable cardinals, specifically the existence of a non-trivial, 0-1-valued measure μ on P(κ) for an uncountable measurable cardinal κ. It asserts that for any sequence of disjoint sets Aα, there exists a β<λ such that μ(Aβ) = 1, while all other μ(Aγ) for γ<λ are 0. The conversation highlights the complexity of measurable cardinals and the challenges in understanding their implications, as evidenced by the need for external references like Wikipedia for clarification.

PREREQUISITES
  • Understanding of set theory and cardinality
  • Familiarity with measurable cardinals
  • Knowledge of 0-1 valued measures
  • Basic concepts of ordinal numbers
NEXT STEPS
  • Research the properties of measurable cardinals in set theory
  • Study the implications of 0-1 valued measures on set functions
  • Explore the relationship between measurable cardinals and large cardinals
  • Learn about the role of ordinals in defining measures on sets
USEFUL FOR

Mathematicians, logicians, and advanced students in set theory who are exploring the complexities of measurable cardinals and their applications in mathematical logic.

nomadreid
Gold Member
Messages
1,773
Reaction score
256
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

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
 
Last edited:
Physics news on Phys.org
I'm sorry you are not generating any responses at the moment. Is there any additional information you can share with us? Any new findings?
 
"measurable cardinal" is an extremely specialized concept. I am not surprised as the lack of response. I had to look it up on Wikipedia to get an inkling of what means.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K