successor cardinal
Formal
Sloppy / circular
Let \(\kappa\) be a cardinal
Then the successor cardinal is defined as smallest cardinal \(\kappa + 1\) with \(\kappa + 1 > \kappa\)
Let \(\kappa\) be a cardinal
Then the successor cardinal is defined as smallest cardinal \(\kappa + 1\) with \(\kappa + 1 > \kappa\)
Date: nil
Created: 2024-12-09 Mo 07:49