Cumulative hierarchy

In mathematics, especially in set theory, the cumulative hierarchy is a special way to organize groups of objects called sets. These sets are arranged in steps, with each step building on the ones before it. The steps are marked by numbers called ordinals, which help keep track of the order.

Each step in the hierarchy includes all the sets from the previous steps. When we reach a special kind of step called a limit ordinal, the new step contains all the sets from every earlier step combined. This creates a growing collection of sets where each step adds more.

The whole collection of sets from every step is often used to understand and model set theory itself. The most common version of this idea is called the von Neumann hierarchy, where each new step includes all possible subsets of the sets from the previous step. This structure helps mathematicians study the foundations of mathematics in a clear and organized way.

Reflection principle

A cumulative hierarchy follows a rule called the reflection principle. This means that if a certain statement about sets is true when looking at all the sets together, it is also true when looking at just one part of the hierarchy. This helps show that the hierarchy can model many ideas in set theory.

Examples

The von Neumann universe is created using a cumulative hierarchy. The sets of the constructible universe also form a cumulative hierarchy. Boolean-valued models, built through a process called forcing, use cumulative hierarchies as well. Well-founded sets in a model of set theory also create a cumulative hierarchy.