View Full Version : Quick question about cardinals
Dragonfall
Aug22-07, 05:39 AM
Assuming we define the cardinal number for a set A as the least ordinal number b such that A and b are equipollent, how would you define an uncountable set of cardinal numbers?
matt grime
Aug22-07, 06:54 AM
It's just an uncountable set. That it happens to be a set of cardinals is immaterial.
Dragonfall
Aug22-07, 07:15 AM
What I mean is that under this model every set of cardinals "up to x" seems to be countable. So how to define an uncountable one?
matt grime
Aug22-07, 07:41 AM
How does that imply that all cardinals are countable? Why not post a proof of that statement if it 'seems' to be so. Hint, let w be an uncountable ordinal. Such exist. It is not in bijection with any countable initial segment, so it must define an uncountable cardinal too.
vBulletin® v3.8.7, Copyright ©2000-2012, vBulletin Solutions, Inc.