Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: Some Questions about Infinite Sets
Posted:
May 12, 2011 11:18 AM


On May 11, 8:21 pm, "Jesse F. Hughes" <je...@phiwumbda.org> wrote: > Tim Little <t...@littlepossums.net> writes: > > As noted in a different branch, this should have been aleph_1 instead > > of aleph_0 throughout. > I assume (though I could be mistaken) that Katz's notion of set size > also satisfies trichotomy.
"First, there is the principle of trichotomy. (TRICH) x < y v x ~ y v x > y which says that any two sets are comparable in size. While a theory of set size which excluded TRICH might escape ridicule, it would surely be regarded with suspicion. Indeed, if the principles of common sense were incompatible with TRICH, this would undoubtedly be used to discredit them." (Katz, page 12)
> He does show it's a linear order, right, TP?
"(ASYM<) x < y > not(y < x) (TRANS<) (x < y & y < z) > x < z (IRREF<) not(x < x)" (Katz, pages 1113)



