Amorphous sets and dual Dedekind finiteness
Abstract
A set is dually Dedekind finite if every surjection from onto is injective; otherwise, is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly amorphous set is an amorphous set in which every partition has only finitely many non-singleton blocks. It is proved consistent with (i.e., the Zermelo--Fraenkel set theory without the axiom of choice) that there exists an amorphous set whose power set is dually Dedekind infinite, which gives a negative solution to a question proposed by Truss [J. Truss, Fund. Math. 84, 187--208 (1974)]. Nevertheless, we prove in that, for all strictly amorphous sets and all natural numbers , is dually Dedekind finite, which generalizes a result of Goldstern.
Cite
@article{arxiv.2510.13508,
title = {Amorphous sets and dual Dedekind finiteness},
author = {Yifan Hu and Ruihuan Mao and Guozhen Shen},
journal= {arXiv preprint arXiv:2510.13508},
year = {2025}
}
Comments
9 pages