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. 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 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 made using a cumulative hierarchy. The sets of the constructible universe also form a cumulative hierarchy. Boolean-valued models use cumulative hierarchies too. Well-founded sets in a model of set theory create a cumulative hierarchy as well.