Re: Cardinality of an Infinite set, which is smaller than Alef 0?

From: Dennis May (dennis_at_NOkernelSPAMthread.e7even.com)
Date: 11/28/04


Date: Sun, 28 Nov 2004 18:55:25 +0000

Kaligula wrote:

> Without the Axiom of Choice, can anyone prove that Alef 0, is the
> smallest cardinality of an infinite set?
>

It depends what you mean.
On the one hand if a set A has cardinality less than or equal to
aleph_0, then by definition there is an injection f:A -> omega. This
means A is wellorderable. If it is also infinite it must have
cardinality aleph_0.
On the other hand without AC there may be sets which are not comparable
with aleph_0 in cardinality. So aleph_0 is minimal among infinite
cardinals but not necessarily the minimum without AC. It is the minimum
among the cardinals of infinite wellorderable sets.



Relevant Pages

  • Re: Distinct linear orderings on Z
    ... >>And then at some point this led us to deciding that cardinality and ... >>meant for an infinite set to have a certain number of elements. ... always goes hand in hand with subtraction. ... Does the interval on the reals have to include 1? ...
    (sci.math)
  • Re: Cantors diagonal proof wrong?
    ... >> So you claim that all infinite sets have the same cardinality? ... >What I don't understand is what the notion of cardinality really is. ... on about, it's not mathematics, it's a confession of faith (and ... or on whether "axioms" in one system or another ...
    (sci.math)
  • Re: An uncountable countable set
    ... You agreed that it is not a cardinality ordering. ... 'infinite') in one ordering, which is not a cardinality ordering, is ... problem is that you spout about non-standard analysis while you haven't ... and mathematics that that book uses as that book is written ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... all Cantorian approaches like this, that they are in the same general ... >>Not contradiction according to Cantorian cardinality. ... Why should it not be true of infinite ... And what finer distinction does it make than between sets that are ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... all Cantorian approaches like this, that they are in the same general ... >>Not contradiction according to Cantorian cardinality. ... Why should it not be true of infinite ... And what finer distinction does it make than between sets that are ...
    (sci.cognitive)

Quantcast