Cardinal arithmetic: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
CreeperBomb (talk | contribs) |
CreeperBomb (talk | contribs) |
||
Line 2:
== Successor cardinal ==
If the axiom of choice holds, then every cardinal κ has a successor, denoted κ<sup>+</sup>, where κ<sup>+</sup> > κ and there are no cardinals between κ and its successor. (Without the axiom of choice, using Hartogs' theorem, it can be shown that for any cardinal number κ, there is a minimal cardinal κ<sup>+</sup> such that \(κ^+≰κ\)). For finite cardinals, the successor is simply κ + 1. For infinite cardinals, the successor cardinal differs from the successor ordinal.
== Cardinal addition ==
|