Boundedly finite-to-one functions

Xiao Hu, Guozhen Shen

A function is boundedly finite-to-one if there is a natural number $k$ such that each point has at most $k$ inverse images. In this paper, we prove in $\mathsf{ZF}$ (i.e., the Zerm…