Sets and Their Sizes

Details Sets and Their Sizes Sets and Their Sizes

2001-06-13

arxiv.org/abs/math/0106100v1

Mathematics

Logic

Scientific paper

This thesis presents an alternative to Cantor's theory of cardinality, insofar as that is understood as a theory of set size. The alternative is based on a general theory, ClassSize. ClassSize contains all sentences in the first order language with "subset" and "smaller-than" predicates which are true in all finite power sets. ClassSize is decidable but not finitely axiomatizable. Every infinite completion of ClassSize has a model over the power set of the natural numbers which satisfies an additional axiom, OUTPACING: If initial segments of A eventually become smaller than the corresponding initial segments of B, then A is smaller than B. Models which satisfy OUTPACING seem to accord with common intuitions about set size. In particular, they agree with the ordering suggested by the notion of "asymptotic density".

Affiliated with

Also associated with

No associations

Rating

Sets and Their Sizes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Sets and Their Sizes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sets and Their Sizes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-507332