Does Every Ordinal Have a Following Cardinal?

  • Context: Graduate 
  • Thread starter Thread starter ibc
  • Start date Start date
  • Tags Tags
    Ordinal
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
ibc
Messages
80
Reaction score
0
(not assuming any kind of continuum hypothesis of course) does every cardinal have a following one, i.e a minimal cardinal that is strictly larger?edit: ops, the title should be "following cardinal"
 
Last edited:
Physics news on Phys.org
Yes (assuming the definition of cardinals as a special type of ordinals), it's the minimum of the class of ordinals with greater cardinality than your cardinal (this works because any initial segment of the class of ordinals is a set, and because the ordinals are well-ordered). If you don't want to assume the axiom of choice, you'll have to replace "cardinal" with "well-ordered cardinal".