Abstract
A set is Dedekind infinite if there is a one-to-one function from into . A set is weakly Dedekind infinite if there is a function from onto ; otherwise is weakly Dedekind finite. For a set , let denote the set of all weakly Dedekind finite subsets of . In this paper, we prove, in Zermelo–Fraenkel (ZF) set theory, that if is Dedekind infinite, whereas cannot be proved from ZF for an arbitrary .
Citation
Pimpen Vejjajiva. Supakun Panasawatwong. "A Note on Weakly Dedekind Finite Sets." Notre Dame J. Formal Logic 55 (3) 413 - 417, 2014. https://doi.org/10.1215/00294527-2688096
Information