A Note on Superamorphous Sets and Dual Dedekind-Infinity
From MaRDI portal
Publication:6503592
arXivmath/9504201MaRDI QIDQ6503592FDOQ6503592
Authors: Martin Goldstern 
Abstract: 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.
This page was built for publication: A Note on Superamorphous Sets and Dual Dedekind-Infinity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6503592)
