Implications of Reinhardt Cardinals for the Axiom of Choice

This article explains the relationship between Reinhardt cardinals and the Axiom of Choice. It covers what these mathematical ideas are, why they are important, and the famous proof that shows they cannot exist together in standard math. Readers will also learn about what happens if we remove the Axiom of Choice and why this remains a mystery in set theory.

Understanding Large Cardinals

To understand Reinhardt cardinals, one must first understand large cardinals. In set theory, mathematicians study collections of objects called sets. Some sets are so large that their size cannot be reached by standard counting methods. These sizes are called large cardinals. They help mathematicians test the limits of logical systems and understand the structure of infinity. Reinhardt cardinals are a specific type of large cardinal that proposed a very powerful kind of infinity.

What Is a Reinhardt Cardinal?

A Reinhardt cardinal is defined by a special mapping function. Imagine a map that takes the entire universe of sets and copies it onto itself while preserving all logical truths. This map is called an elementary embedding. If such a map exists and is not just a simple identity map, it implies the existence of a Reinhardt cardinal. This concept was proposed by William Reinhardt in 1967 as a way to extend the hierarchy of large cardinals to its absolute limit.

The Axiom of Choice Explained

The Axiom of Choice is a fundamental rule in standard set theory. It states that if you have a collection of non-empty sets, you can choose one element from each set to form a new set. While this sounds obvious for finite groups, it is not always clear for infinite groups. Despite this, the Axiom of Choice is accepted in most modern mathematics because it allows for many important proofs. The standard system of mathematics, known as ZFC, includes this axiom.

Kunen’s Inconsistency Theorem

The major implication of Reinhardt cardinals involves a conflict with the Axiom of Choice. In 1971, Kenneth Kunen proved a famous result known as Kunen’s Inconsistency Theorem. He showed that if you assume the Axiom of Choice is true, then a Reinhardt cardinal cannot exist. The existence of the special mapping function required for a Reinhardt cardinal creates a logical contradiction when combined with the Axiom of Choice. Therefore, in standard mathematics, Reinhardt cardinals are impossible.

Life Without the Axiom of Choice

The story changes if the Axiom of Choice is removed. Mathematicians still do not know if Reinhardt cardinals are consistent in a system without the Axiom of Choice. This is an open question in set theory. Some researchers believe they might exist in this weaker system, while others suspect they might still lead to contradictions. Studying this possibility helps logicians understand how much the Axiom of Choice influences the structure of the mathematical universe.

Conclusion

The existence of Reinhardt cardinals has profound implications for the foundations of mathematics. In standard systems with the Axiom of Choice, they are proven to be impossible. However, in systems without the Axiom of Choice, their status remains unknown. This boundary highlights the delicate balance between different logical rules and shows how much there is left to explore in the study of infinity.