Various Intuitions and Conceptualizations of Measurable Cardinals.

  • Thread starter biffus22
  • Start date
  • Tags
    Set theory
  • #1
biffus22
6
2
The concept of a "measurable cardinal" is rather difficult for many students of "Intermediate" Set Theory to grasp in terms of more basic set theoretic concepts -- as opposed say to concepts dealing with the relations among various "universes" or "models" etc. In fact, much of the problem may derive from the difficulty of imagining a "non-principal ultrafilter" within the P(X), the Power set of X. Whatever the difficulties involved, the concept is, it seems, also very difficult to teach. I am thus interested in how other people here understand, or better, "grasp," what a measurable cardinal is and is not, and how they attempt to teach their students the concept using more basic concepts such students already comprehend.
 
Last edited:

FAQ: Various Intuitions and Conceptualizations of Measurable Cardinals.

What are measurable cardinals?

Measurable cardinals are a special type of large cardinal in set theory, characterized by the existence of a non-trivial elementary embedding from the cardinal into itself. This embedding allows for the construction of a non-empty ultrafilter that is invariant under the embedding, which gives measurable cardinals their unique properties related to size and structure.

Why are measurable cardinals significant in set theory?

Measurable cardinals are significant because they provide a way to explore the boundaries of set theory and the nature of infinity. They imply the existence of large cardinals, which have profound implications for the consistency of various mathematical theories, including ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice). Their existence can also lead to insights about the hierarchy of infinities and the structure of the set-theoretic universe.

How do measurable cardinals relate to other large cardinals?

Measurable cardinals are one of the many types of large cardinals, which also include inaccessible cardinals, Mahlo cardinals, and others. Each type of large cardinal has its own properties and implications within set theory. Measurable cardinals are stronger than inaccessible cardinals, meaning that if a measurable cardinal exists, then so does an inaccessible cardinal, but not vice versa. The study of these relationships helps mathematicians understand the landscape of cardinal numbers and their implications for set theory.

What are the implications of the existence of measurable cardinals?

The existence of measurable cardinals has significant implications for various areas of mathematics, including model theory, topology, and the foundations of mathematics. For instance, if measurable cardinals exist, then certain combinatorial principles, such as the existence of large filters and the failure of certain partition properties, can be established. Additionally, they play a crucial role in the study of the continuum hypothesis and the structure of the real line.

What are some open questions related to measurable cardinals?

Several open questions remain regarding measurable cardinals, including their consistency relative to ZFC and the implications of their existence for other large cardinals. Some specific questions involve the relationships between measurable cardinals and other large cardinals, the nature of their embeddings, and the potential for constructing models of set theory that include measurable cardinals while satisfying other axioms, such as the Axiom of Choice. Ongoing research in set theory continues to explore these and related questions.

Similar threads

Replies
5
Views
2K
Replies
10
Views
3K
Replies
14
Views
1K
Replies
5
Views
1K
Replies
120
Views
11K
Replies
5
Views
1K
Back
Top