Date: Jan 12, 2013 3:08 AM
Author: Zaljohar@gmail.com
Subject: Intuitive criterion for set size.
For any two sets A,B:

[1] A is bigger than B iff |A| > |B| Or A,B are sets of naturals and

there exist a set C of naturals such that for every element n of C: |

A(n)| > |B(n)| and |A(n+1)| - |B(n+1)| > |A(n)| -|B(n)|.

where X(n) = {y| y in X & y <' n};

<' stands for natural strict smaller than relation;

| | stands for cardinality defined after Cantor's.

[2] A is smaller than B iff B is bigger than A.

[3] A is equinumerous to B iff ~ A bigger than B & ~ A smaller than B.

/

Definitions given here of 'bigger than' , 'smaller than' and

'equinumerous' in some sense parallel that of set Density. They of

course depart from Cantor's definitions as regards sets of naturals,

and in being so they actually come closer to ordinary intuitions we

have about set sizes that we are familiar with from the finite world,

so for example the set of all naturals is bigger than that of all

evens, the set of all evens is bigger than that of all squares etc..

Actually one can describe interesting sizes of sets of naturals. If we

consider the size of N to be oo, then the set of evens would have the

size oo/2, also we can define any oo/n, oo-n, and n_th root of oo, in

a nice manner comparable to finite set sizes. Obviously Cardinality

cannot achieve that! I do think that somehow this approach can be

extended to cover all sets of reals! And perhaps higher level sets

along the cumulative hierarchy of ZFC as well.

Zuhair