Difference between revisions of "Measurable"

From Cantor's Attic
Jump to: navigation, search
(Created page with " == Definition == An uncountable cardinal $\kappa$ is ''measurable'' when there is a measure on $\kappa$, that is, a $\kappa$-complete non-principal ultrafilter on $\kappa$. M...")
 
Line 1: Line 1:
 +
{{DISPLAYTITLE: Measurable cardinal}}
  
 
== Definition ==
 
== Definition ==

Revision as of 09:31, 29 December 2011


Definition

An uncountable cardinal $\kappa$ is measurable when there is a measure on $\kappa$, that is, a $\kappa$-complete non-principal ultrafilter on $\kappa$.

Measurable cardinals were first defined by Stanislaw Ulam.




Related cardinal notions



References

  • ...