A note on dual Dedekind finiteness

Ruihuan Mao, Guozhen Shen

A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. It is proved consistent with $\mathsf{ZF}$ (i.e.…