Talk:Successor cardinal

From Wikipedia, the free encyclopedia

[edit] Successor cardinal and Hartogs number

Isn't the definition provided at the end of current revision (as a definition without AC)

\kappa^+ = |\inf \{ \lambda \in ON \ |\ |\lambda| \nleq \kappa \}| .

the same thing as the Hartogs number?

Kompik: Yes, it is. Please sign your contributions to talk with four tildas, e.g. ~~~~. JRSpriggs 03:51, 30 May 2006 (UTC)