Mathematics – Logic
Scientific paper
1995-04-18
Mathematics
Logic
Scientific paper
We give a simple example of a set that is weakly Dedekind infinite (= can be mapped onto omega) but dually Dedekind finite (=cannot be mapped noninjectively onto itself), namely, the power set of a superamorphous set. (A infinite set is superamorphous if all finitary relations on it are definable in the language of equality.) We also show that the property of "inexhaustibility" is not closed under supersets unless the full axiom of choice holds.
No associations
LandOfFree
A Note on Superamorphous Sets and Dual Dedekind-Infinity 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 A Note on Superamorphous Sets and Dual Dedekind-Infinity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Note on Superamorphous Sets and Dual Dedekind-Infinity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-614723